2026-11-06 03:12.25: New job: build coq.9.3.0 (923a9790b48a)
2026-11-06 03:12.25: Waiting for resource in pool day11-builds
2026-11-06 04:54.23: Got resource from pool day11-builds
2026-11-06 04:54.23: [profile full] build coq.9.3.0
2026-11-06 04:54.23: Cached: build coq.9.3.0 (923a9790b48a)
2026-11-06 04:54.23: Job succeeded