Sync from rust 2025/01/12 #2411

Job	Run time
build (gcc-13.deb, --std-tests)	5m 57s
build (gcc-13.deb, --test-libcore)	13m 32s
build (gcc-13.deb, --extended-rand-tests)	8m 11s
build (gcc-13.deb, --extended-regex-example-tests)	6m 20s
build_system	26s
build (gcc-13.deb, --extended-regex-tests)	11m 29s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	10m 35s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	11m 6s
duplicates	3s
build (gcc-13.deb, --projects)	11m 10s
build (gcc-13-without-int128.deb, --std-tests)	5m 36s
build (gcc-13-without-int128.deb, --test-libcore)	14m 14s
build (gcc-13-without-int128.deb, --extended-rand-tests)	8m 18s
build (gcc-13-without-int128.deb, --extended-regex-example-tests)	6m 7s
build (gcc-13-without-int128.deb, --extended-regex-tests)	11m 5s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	11m 9s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	11m 21s
build (gcc-13-without-int128.deb, --projects)	11m 50s
	2h 38m 29s

Provide feedback