2026-10-27 20:18.56: New job: doc odoc-parser.3.2.2 (8e9f395f56fc)
2026-10-27 20:18.56: Waiting for resource in pool day11-builds
2026-10-27 21:59.22: Got resource from pool day11-builds
2026-10-27 21:59.22: [profile full] doc odoc-parser.3.2.2
2026-10-27 21:59.22: Cached: doc odoc-parser.3.2.2 (8e9f395f56fc)
2026-10-27 21:59.22: Job succeeded