2026-08-21 09:47.12: New job: build coq-native.1 (7b15516f1019)
2026-08-21 09:47.12: Waiting for resource in pool day11-builds
2026-08-21 13:08.01: Got resource from pool day11-builds
2026-08-21 13:08.01: [profile full] build coq-native.1
2026-08-21 13:08.01: build coq-native.1 (7b15516f1019)
2026-08-21 13:09.04: FAILED: build coq-native.1
2026-08-21 13:09.04: Job failed: build failed: coq-native.1