2026-11-06 03:12.24: New job: build rocq-core.9.3.0 (912a0b2d5781)
2026-11-06 03:12.24: Waiting for resource in pool day11-builds
2026-11-06 04:53.31: Got resource from pool day11-builds
2026-11-06 04:53.31: [profile full] build rocq-core.9.3.0
2026-11-06 04:53.32: Cached: build rocq-core.9.3.0 (912a0b2d5781)
2026-11-06 04:53.32: Job succeeded