2026-10-09 17:18.40: New job: doc opam-repository.2.5.0~alpha1 (82d8d65781b5)
2026-10-09 17:18.40: Waiting for resource in pool day11-builds
2026-10-09 17:52.08: Got resource from pool day11-builds
2026-10-09 17:52.08: [profile full] doc opam-repository.2.5.0~alpha1
2026-10-09 17:52.08: Cached: doc opam-repository.2.5.0~alpha1 (82d8d65781b5)
2026-10-09 17:52.08: Job succeeded