Merge branch 'master' into sync_from_rust_2025_01_14 #2420

Job	Run time
duplicates	2s
build_system	33s
build (gcc-13.deb, --std-tests)	6m 0s
build (gcc-13.deb, --test-libcore)	14m 47s
build (gcc-13.deb, --extended-rand-tests)	8m 44s
build (gcc-13.deb, --extended-regex-example-tests)	6m 28s
build (gcc-13.deb, --extended-regex-tests)	11m 22s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	11m 24s
build (gcc-13.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	11m 13s
build (gcc-13.deb, --projects)	11m 36s
build (gcc-13-without-int128.deb, --std-tests)	6m 13s
build (gcc-13-without-int128.deb, --test-libcore)	14m 38s
build (gcc-13-without-int128.deb, --extended-rand-tests)	8m 33s
build (gcc-13-without-int128.deb, --extended-regex-example-tests)	6m 18s
build (gcc-13-without-int128.deb, --extended-regex-tests)	11m 43s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	11m 14s
build (gcc-13-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	11m 22s
build (gcc-13-without-int128.deb, --projects)	11m 59s
	2h 44m 9s

Provide feedback