Finish switch. #12490

Job	Run time
build_js	1m 52s
build_opam (5.3.x)	6m 23s
build_opam (4.14.x)	4m 59s
build_details	3s
lezer_parse	48s
tree_sitter_parse	49s
update_doc	10m 13s
run_tests (@mediatest)	11m 52s
run_tests (@citest)	12m 56s
build_win32 (x64)	17m 33s
build_no_depopts	5m 29s
run_tests (@doctest)	6m 58s
build_posix (ubuntu_oracular, amd64)	15m 42s
build_posix (debian_bookworm, amd64)	13m 21s
build_posix (debian_bookworm, arm64)	13m 26s
build_posix (debian_trixie, arm64)	11m 33s
build_posix (alpine, amd64)	10m 19s
build_posix (ubuntu_oracular, arm64)	13m 51s
build_posix (alpine, arm64)	6m 7s
build_posix (debian_trixie, amd64)	13m 10s
build_posix (ubuntu_noble, amd64)	12m 58s
build_posix (ubuntu_noble, arm64)	16m 25s
build_docker_alpine	-1s
build_docker	-1s
fetch_s3_artifacts	-1s
build_docker_minimal	-1s
build_docker_release-minimal	0s
build_docker_alpine_minimal	-1s
build_docker_release	0s
update_release	0s
	3h 26m 42s

Provide feedback