2026-08-06 15:49.59: New job: doc opam-ed.0.5 (4c234875a87d)
2026-08-06 15:49.59: Waiting for resource in pool day11-builds
2026-08-06 16:26.47: Got resource from pool day11-builds
2026-08-06 16:26.47: [profile full] doc opam-ed.0.5
2026-08-06 16:26.48: Cached: doc opam-ed.0.5 (4c234875a87d)
2026-08-06 16:26.48: Job succeeded