Fix #9611

Job	Run time
pre-commit	3m 2s
build_js	1m 27s
build_details	2s
build_opam (4.14.x)	5m 1s
run_tests (@citest)	10m 13s
build_opam (5.0.x)	4m 51s
build_no_depopts	3m 51s
run_tests (@mediatest)	11m 23s
update_doc	0s
build_win32 (x64)	10m 58s
build_posix (debian_trixie, amd64)	10m 17s
build_posix (debian_trixie, arm64)	18m 7s
build_posix (debian_bookworm, amd64)	10m 0s
build_posix (debian_bookworm, arm64)	16m 23s
build_posix (debian_bullseye, armhf)	26m 7s
build_posix (ubuntu_jammy, amd64)	10m 13s
build_posix (ubuntu_jammy, arm64)	16m 56s
build_posix (ubuntu_lunar, amd64)	9m 39s
build_posix (ubuntu_lunar, arm64)	16m 51s
build_posix (alpine, amd64)	6m 20s
build_posix (alpine, arm64)	9m 30s
build_posix (alpine, armhf)	8m 4s
fetch_s3_artifacts	50s
update_release	1m 4s
build_docker_alpine (amd64)	2m 57s
build_docker_alpine (arm64)	1m 4s
build_docker_alpine (armhf)	56s
build_docker_minimal (amd64)	2m 29s
build_docker (amd64)	2m 22s
build_docker_minimal (arm64)	3m 24s
build_docker (arm64)	3m 27s
build_docker_alpine_minimal (amd64)	1m 25s
build_docker_minimal (armhf)	2m 35s
build_docker (armhf)	2m 45s
build_docker_alpine_minimal (arm64)	2m 39s
build_docker_alpine_minimal (armhf)	52s
build_docker_release	2m 15s
build_docker_release-minimal	4m 53s
	4h 5m 12s

Provide feedback