Merge pull request #469 from tempdragon/master #2

Job	Run time
build (gcc-13.deb, --mini-tests)	5m 56s
build_system	33s
duplicates	3s
build (gcc-13.deb, --std-tests)	6m 24s
build (gcc-13.deb, --test-libcore)	13m 59s
build (gcc-13.deb, --extended-rand-tests)	8m 57s
build (gcc-13.deb, --extended-regex-example-tests)	6m 40s
build (gcc-13.deb, --extended-regex-tests)	12m 21s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	11m 24s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	11m 49s
build (gcc-13.deb, --projects)	17m 20s
build (gcc-13-without-int128.deb, --mini-tests)	5m 57s
build (gcc-13-without-int128.deb, --std-tests)	6m 3s
build (gcc-13-without-int128.deb, --test-libcore)	13m 50s
build (gcc-13-without-int128.deb, --extended-rand-tests)	8m 59s
build (gcc-13-without-int128.deb, --extended-regex-example-tests)	6m 42s
build (gcc-13-without-int128.deb, --extended-regex-tests)	12m 43s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	12m 24s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	11m 38s
build (gcc-13-without-int128.deb, --projects)	17m 16s
	3h 10m 58s

Provide feedback