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