Merge pull request #556 from GuillaumeGomez/sync_2024-08-12 #2261

Job	Run time
build_system	25s
duplicates	3s
build (gcc-13.deb, --mini-tests)	6m 16s
build (gcc-13.deb, --std-tests)	6m 21s
build (gcc-13.deb, --test-libcore)	13m 40s
build (gcc-13.deb, --extended-rand-tests)	9m 19s
build (gcc-13.deb, --extended-regex-example-tests)	7m 9s
build (gcc-13.deb, --extended-regex-tests)	12m 22s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	16m 5s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	17m 12s
build (gcc-13.deb, --projects)	17m 26s
build (gcc-13-without-int128.deb, --mini-tests)	6m 19s
build (gcc-13-without-int128.deb, --std-tests)	6m 20s
build (gcc-13-without-int128.deb, --test-libcore)	13m 45s
build (gcc-13-without-int128.deb, --extended-rand-tests)	9m 15s
build (gcc-13-without-int128.deb, --extended-regex-example-tests)	7m 24s
build (gcc-13-without-int128.deb, --extended-regex-tests)	11m 50s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	17m 0s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	17m 7s
build (gcc-13-without-int128.deb, --projects)	17m 19s
	3h 32m 37s

Provide feedback