Use time implementation. #12013

Job	Run time
build_details	4s
build_js	2m 29s
build_opam (4.14.x)	15s
build_opam (5.2.x)	13s
lezer_parse	49s
build_no_depopts	2m 43s
build_win32 (x64)	2m 7s
run_tests (@citest)	2m 43s
run_tests (@doctest)	2m 44s
tree_sitter_parse	1m 1s
run_tests (@mediatest)	2m 43s
build_posix (debian_trixie, amd64)	2m 42s
update_doc	2m 44s
build_posix (debian_trixie, arm64)	2m 22s
build_posix (debian_bookworm, amd64)	2m 44s
build_posix (debian_bookworm, arm64)	2m 23s
build_posix (ubuntu_oracular, amd64)	2m 43s
build_posix (ubuntu_oracular, arm64)	2m 20s
build_posix (ubuntu_noble, amd64)	2m 43s
build_posix (ubuntu_noble, arm64)	2m 21s
build_posix (alpine, amd64)	2m 45s
build_posix (alpine, arm64)	2m 25s
fetch_s3_artifacts	1s
build_docker_alpine	1s
build_docker	1s
update_release	1s
build_docker_alpine_minimal	1s
build_docker_minimal	1s
build_docker_release	1s
build_docker_release-minimal	1s
	46m 11s

Provide feedback