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