Merge pull request #710 from FractalFir/abi-cafe #2780

Job	Run time
duplicates	5s
build_system	24s
spell_check	9s
build (gcc-15.deb, --test-libcore)	1m 7s
build (gcc-15.deb, --extended-rand-tests)	1m 12s
build (gcc-15.deb, --std-tests)	1m 12s
build (gcc-15-without-int128.deb, --std-tests)	1m 9s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	1m 4s
build (gcc-15.deb, --extended-regex-tests)	1m 12s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	1m 46s
build (gcc-15.deb, --projects)	1m 8s
build (gcc-15-without-int128.deb, --test-libcore)	1m 8s
build (gcc-15.deb, --extended-regex-example-tests)	1m 5s
build (gcc-15-without-int128.deb, --extended-regex-example-tests)	1m 3s
build (gcc-15-without-int128.deb, --projects)	1m 10s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	1m 8s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	1m 7s
build (gcc-15-without-int128.deb, --extended-rand-tests)	1m 8s
build (gcc-15-without-int128.deb, --extended-regex-tests)	1m 23s
success	3s
	19m 43s

Provide feedback