2026-10-27 20:18.55: New job: doc camlbz2.transition (1ca9e1bae941)
2026-10-27 20:18.55: Waiting for resource in pool day11-builds
2026-10-27 21:58.31: Got resource from pool day11-builds
2026-10-27 21:58.31: [profile full] doc camlbz2.transition
2026-10-27 21:58.31: Cached: doc camlbz2.transition (1ca9e1bae941)
2026-10-27 21:58.31: Job succeeded