2026-10-09 17:18.41: New job: doc opam-installer.2.5.0~beta1 (dd8d0a4a5fa5)
2026-10-09 17:18.41: Waiting for resource in pool day11-builds
2026-10-09 17:52.28: Got resource from pool day11-builds
2026-10-09 17:52.28: [profile full] doc opam-installer.2.5.0~beta1
2026-10-09 17:52.28: Cached: doc opam-installer.2.5.0~beta1 (dd8d0a4a5fa5)
2026-10-09 17:52.28: Job succeeded