Sync 2024 08 06 #2197

Job	Run time
build_system	26s
build (gcc-13.deb, --mini-tests)	1m 11s
duplicates	3s
build (gcc-13.deb, --std-tests)	1m 15s
build (gcc-13.deb, --test-libcore)	1m 1s
build (gcc-13.deb, --extended-rand-tests)	1m 0s
build (gcc-13.deb, --extended-regex-example-tests)	1m 11s
build (gcc-13.deb, --extended-regex-tests)	57s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	54s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	1m 7s
build (gcc-13.deb, --projects)	1m 0s
build (gcc-13-without-int128.deb, --mini-tests)	1m 1s
build (gcc-13-without-int128.deb, --std-tests)	57s
build (gcc-13-without-int128.deb, --test-libcore)	59s
build (gcc-13-without-int128.deb, --extended-rand-tests)	1m 1s
build (gcc-13-without-int128.deb, --extended-regex-example-tests)	56s
build (gcc-13-without-int128.deb, --extended-regex-tests)	1m 15s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	1m 24s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	1m 28s
build (gcc-13-without-int128.deb, --projects)	55s
	20m 1s

Provide feedback