2026-10-09 16:58.04: New job: doc current_docker.0.8.0 (5f07563f9e1f)
2026-10-09 16:58.04: Waiting for resource in pool day11-builds
2026-10-09 17:11.52: Got resource from pool day11-builds
2026-10-09 17:11.52: [profile odoc-master-mini] doc current_docker.0.8.0
2026-10-09 17:11.52: Cached: doc current_docker.0.8.0 (5f07563f9e1f)
2026-10-09 17:11.52: Job succeeded