Sync from rust 2024/12/11 #2372

Job	Run time
build_system	24s
build (gcc-13.deb, --mini-tests)	5m 59s
duplicates	4s
build (gcc-13.deb, --std-tests)	6m 18s
build (gcc-13.deb, --test-libcore)	14m 15s
build (gcc-13.deb, --extended-rand-tests)	8m 28s
build (gcc-13.deb, --extended-regex-example-tests)	6m 41s
build (gcc-13.deb, --extended-regex-tests)	11m 46s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	11m 14s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	11m 15s
build (gcc-13.deb, --projects)	12m 9s
build (gcc-13-without-int128.deb, --mini-tests)	5m 59s
build (gcc-13-without-int128.deb, --std-tests)	5m 58s
build (gcc-13-without-int128.deb, --test-libcore)	14m 28s
build (gcc-13-without-int128.deb, --extended-rand-tests)	8m 53s
build (gcc-13-without-int128.deb, --extended-regex-example-tests)	6m 23s
build (gcc-13-without-int128.deb, --extended-regex-tests)	11m 48s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	11m 12s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	11m 15s
build (gcc-13-without-int128.deb, --projects)	11m 37s
	2h 56m 6s

Provide feedback