Better record spread. #9105

Job	Run time
build_js	3m 43s
pre-commit	6m 7s
build_details	4s
tree_sitter_parse	2m 21s
build_opam (4.14.x)	4m 51s
build_no_depopts	6m 14s
build_opam (5.0.x)	9m 42s
build_posix (debian_trixie, amd64)	14m 19s
build_posix (debian_bookworm, amd64)	13m 37s
build_win32 (x64)	14m 20s
build_posix (ubuntu_jammy, amd64)	13m 15s
lezer_parse	50s
run_tests (@citest)	13m 6s
build_posix (ubuntu_lunar, amd64)	14m 7s
run_tests (@mediatest)	14m 21s
build_posix (alpine, amd64)	14m 18s
update_doc	0s
fetch_s3_artifacts	1s
build_docker	1s
build_docker_minimal	1s
build_docker_alpine	1s
build_docker_alpine_minimal	1s
update_release	1s
build_docker_release	1s
build_docker_release-minimal	1s
	2h 25m 23s

Provide feedback