2026-10-09 16:58.03: New job: doc mazeppa.0.7.2 (33dd05942e43)
2026-10-09 16:58.03: Waiting for resource in pool day11-builds
2026-10-09 17:11.51: Got resource from pool day11-builds
2026-10-09 17:11.51: [profile odoc-master-mini] doc mazeppa.0.7.2
2026-10-09 17:11.51: Cached: doc mazeppa.0.7.2 (33dd05942e43)
2026-10-09 17:11.51: Job succeeded