2026-10-27 20:18.53: New job: compile odoc.3.2.2 (ef1f5f3e4ef4)
2026-10-27 20:18.53: Waiting for resource in pool day11-builds
2026-10-27 21:52.42: Got resource from pool day11-builds
2026-10-27 21:52.42: [profile full] compile odoc.3.2.2
2026-10-27 21:52.43: Cached: compile odoc.3.2.2 (ef1f5f3e4ef4)
2026-10-27 21:52.43: Job succeeded