2026-10-22 02:38.09: New job: build coq.9.3.0 (8e72d5ca395f)
2026-10-22 02:38.09: Waiting for resource in pool day11-builds
2026-10-22 04:22.56: Got resource from pool day11-builds
2026-10-22 04:22.56: [profile full] build coq.9.3.0
2026-10-22 04:22.56: Cached: build coq.9.3.0 (8e72d5ca395f)
2026-10-22 04:22.56: Job succeeded