Merge pull request #824 from GuillaumeGomez/regen-intrinsics #3215

Job	Run time
build_system	28s
duplicates	5s
spell_check	8s
build (gcc-15-without-int128.deb, --std-tests)	5m 54s
build (gcc-15.deb, --projects)	12m 8s
build (gcc-15.deb, --extended-regex-example-tests)	6m 25s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	13m 55s
build (gcc-15-without-int128.deb, --test-libcore)	15m 42s
build (gcc-15.deb, --extended-regex-tests)	11m 30s
build (gcc-15.deb, --std-tests)	5m 59s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	13m 24s
build (gcc-15.deb, --test-libcore)	16m 2s
build (gcc-15.deb, --extended-rand-tests)	8m 12s
build (gcc-15-without-int128.deb, --extended-regex-example-tests)	6m 26s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	13m 50s
build (gcc-15-without-int128.deb, --extended-regex-tests)	11m 47s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	14m 8s
build (gcc-15-without-int128.deb, --projects)	13m 7s
build (gcc-15-without-int128.deb, --extended-rand-tests)	8m 18s
success	3s
	2h 57m 31s

Provide feedback