2026-10-09 16:58.04: New job: doc ocsigenserver.8.0.0 (5a8a52ed32fc)
2026-10-09 16:58.04: 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 ocsigenserver.8.0.0
2026-10-09 17:11.52: Cached: doc ocsigenserver.8.0.0 (5a8a52ed32fc)
2026-10-09 17:11.52: Job succeeded