2026-10-01 22:41.38: New job: build lascar.0.7.0 (14515240f210)
2026-10-01 22:41.38: Waiting for resource in pool day11-builds
2026-10-01 22:42.18: Got resource from pool day11-builds
2026-10-01 22:42.18: [profile odoc-master-mini] build lascar.0.7.0
2026-10-01 22:42.19: Cached: build lascar.0.7.0 (14515240f210)
2026-10-01 22:42.19: Job succeeded