2026-08-06 15:49.58: New job: doc opam-format.2.4.0~beta1 (d03e381c6d42)
2026-08-06 15:49.58: Waiting for resource in pool day11-builds
2026-08-06 16:25.13: Got resource from pool day11-builds
2026-08-06 16:25.13: [profile full] doc opam-format.2.4.0~beta1
2026-08-06 16:25.14: Cached: doc opam-format.2.4.0~beta1 (d03e381c6d42)
2026-08-06 16:25.14: Job succeeded