Merge pull request #814 from GuillaumeGomez/update-intrinsics #3117

Job	Run time
spell_check	9s
duplicates	4s
build_system	28s
build (gcc-15.deb, --std-tests)	5m 53s
build (gcc-15.deb, --extended-regex-example-tests)	6m 12s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	14m 1s
build (gcc-15.deb, --extended-rand-tests)	9m 11s
build (gcc-15.deb, --extended-regex-tests)	10m 58s
build (gcc-15.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	14m 20s
build (gcc-15-without-int128.deb, --std-tests)	6m 12s
build (gcc-15.deb, --projects)	11m 1s
build (gcc-15-without-int128.deb, --extended-rand-tests)	8m 43s
build (gcc-15-without-int128.deb, --test-libcore)	15m 27s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 1)	14m 32s
build (gcc-15-without-int128.deb, --test-successful-rustc --nb-parts 2 --current-part 0)	13m 34s
build (gcc-15-without-int128.deb, --projects)	10m 55s
build (gcc-15-without-int128.deb, --extended-regex-tests)	11m 39s
build (gcc-15.deb, --test-libcore)	15m 39s
build (gcc-15-without-int128.deb, --extended-regex-example-tests)	6m 19s
success	2s
	2h 55m 19s

Provide feedback