2026-10-21 16:48.03: New job: build base-bigarray.base (af90e15e33c9)
2026-10-21 16:48.03: Waiting for resource in pool day11-builds
2026-10-21 16:48.12: Got resource from pool day11-builds
2026-10-21 16:48.12: [profile odoc-master-mini] build base-bigarray.base
2026-10-21 16:48.12: Cached: build base-bigarray.base (af90e15e33c9)
2026-10-21 16:48.12: Job succeeded