2026-09-04 17:10.05: New job: build coq-stdlib.9.0.0 (4e5de49d4fd3)
2026-09-04 17:10.05: Waiting for resource in pool day11-builds
2026-09-04 18:23.18: Got resource from pool day11-builds
2026-09-04 18:23.18: [profile full] build coq-stdlib.9.0.0
2026-09-04 18:23.18: build coq-stdlib.9.0.0 (4e5de49d4fd3)
2026-09-04 18:23.31: FAILED: build coq-stdlib.9.0.0
2026-09-04 18:23.31: Job failed: build failed: coq-stdlib.9.0.0