2026-10-09 18:00.38: New job: doc core_unix.v0.17.1 (e4c73f3aa314)
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 core_unix.v0.17.1
2026-10-09 18:17.02: Cached: doc core_unix.v0.17.1 (e4c73f3aa314)
2026-10-09 18:17.02: Job succeeded