2026-08-15 11:29.20: New job: doc opam-core.2.5.0~alpha1 (7c2877668e06)
2026-08-15 11:29.20: Waiting for resource in pool day11-builds
2026-08-15 15:30.18: Got resource from pool day11-builds
2026-08-15 15:30.18: [profile full] doc opam-core.2.5.0~alpha1
2026-08-15 15:30.18: Cached: doc opam-core.2.5.0~alpha1 (7c2877668e06)
2026-08-15 15:30.18: Job succeeded