Merge pull request #609 from GuillaumeGomez/fix-use-system-gcc #2451

Job	Run time
duplicates	2s
build_system	25s
build (gcc-15.deb, --std-tests)	6m 20s
build (gcc-15.deb, --test-libcore)	13m 54s
build (gcc-15.deb, --extended-rand-tests)	8m 17s
build (gcc-15.deb, --extended-regex-example-tests)	6m 22s
build (gcc-15.deb, --extended-regex-tests)	11m 43s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	11m 9s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	11m 30s
build (gcc-15.deb, --projects)	11m 16s
build (gcc-15-without-int128.deb, --std-tests)	6m 16s
build (gcc-15-without-int128.deb, --test-libcore)	14m 10s
build (gcc-15-without-int128.deb, --extended-rand-tests)	8m 34s
build (gcc-15-without-int128.deb, --extended-regex-example-tests)	6m 59s
build (gcc-15-without-int128.deb, --extended-regex-tests)	11m 37s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	11m 30s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	11m 8s
build (gcc-15-without-int128.deb, --projects)	11m 54s
	2h 43m 6s

Provide feedback