2026-10-09 18:00.39: New job: link eio_main.1.6 (cd1dea5a396a)
2026-10-09 18:00.39: Waiting for resource in pool day11-builds
2026-10-09 18:17.03: Got resource from pool day11-builds
2026-10-09 18:17.03: [profile odoc-master-mini] link eio_main.1.6
2026-10-09 18:17.03: Cached: link eio_main.1.6 (cd1dea5a396a)
2026-10-09 18:17.03: Job succeeded