Merge pull request #716 from FractalFir/abi-cafe #2787

Job	Run time
duplicates	3s
build_system	24s
spell_check	7s
build (gcc-15.deb, --std-tests)	5m 36s
build (gcc-15.deb, --extended-rand-tests)	8m 15s
build (gcc-15.deb, --test-libcore)	14m 44s
build (gcc-15.deb, --extended-regex-example-tests)	5m 46s
build (gcc-15.deb, --extended-regex-tests)	11m 28s
build (gcc-15-without-int128.deb, --extended-rand-tests)	8m 6s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	13m 16s
build (gcc-15-without-int128.deb, --test-libcore)	15m 6s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	12m 57s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	14m 6s
build (gcc-15-without-int128.deb, --extended-regex-example-tests)	6m 22s
build (gcc-15-without-int128.deb, --std-tests)	5m 43s
build (gcc-15.deb, --projects)	11m 12s
build (gcc-15-without-int128.deb, --projects)	11m 6s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	13m 51s
build (gcc-15-without-int128.deb, --extended-regex-tests)	11m 8s
success	3s
	2h 49m 19s

Provide feedback