2026-10-09 18:00.38: New job: doc scfg.0.5 (dee07551e05d)
2026-10-09 18:00.38: Waiting for resource in pool day11-builds
2026-10-09 18:17.02: Got resource from pool day11-builds
2026-10-09 18:17.02: [profile odoc-master-mini] doc scfg.0.5
2026-10-09 18:17.02: Cached: doc scfg.0.5 (dee07551e05d)
2026-10-09 18:17.02: Job succeeded