Sync from rust 2024/12/11 #2390

Job	Run time
build (gcc-13.deb, --mini-tests)	5m 37s
build (gcc-13.deb, --std-tests)	6m 10s
build_system	23s
build (gcc-13.deb, --test-libcore)	14m 20s
build (gcc-13.deb, --extended-rand-tests)	8m 36s
duplicates	2s
build (gcc-13.deb, --extended-regex-example-tests)	6m 19s
build (gcc-13.deb, --extended-regex-tests)	12m 10s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	10m 55s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	11m 47s
build (gcc-13.deb, --projects)	11m 40s
build (gcc-13-without-int128.deb, --mini-tests)	5m 36s
build (gcc-13-without-int128.deb, --std-tests)	6m 14s
build (gcc-13-without-int128.deb, --test-libcore)	14m 24s
build (gcc-13-without-int128.deb, --extended-rand-tests)	8m 17s
build (gcc-13-without-int128.deb, --extended-regex-example-tests)	6m 18s
build (gcc-13-without-int128.deb, --extended-regex-tests)	12m 17s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	10m 52s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	10m 56s
build (gcc-13-without-int128.deb, --projects)	11m 24s
	2h 54m 17s

Provide feedback