2026-10-01 22:41.38: New job: build ledit.2.08 (babd742c2d6e)
2026-10-01 22:41.38: Waiting for resource in pool day11-builds
2026-10-01 22:41.50: Got resource from pool day11-builds
2026-10-01 22:41.50: [profile odoc-master-mini] build ledit.2.08
2026-10-01 22:41.50: Cached: build ledit.2.08 (babd742c2d6e)
2026-10-01 22:41.50: Job succeeded