2026-11-05 03:52.57: New job: doc coq-core.8.17.1 (553ce0758066)
2026-11-05 03:52.57: Waiting for resource in pool day11-builds
2026-11-05 04:04.08: Got resource from pool day11-builds
2026-11-05 04:04.08: [profile full] doc coq-core.8.17.1
2026-11-05 04:04.09: doc coq-core.8.17.1 (553ce0758066)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===

=== STDERR ===

2026-11-05 04:06.32: FAILED: doc coq-core.8.17.1
2026-11-05 04:06.32: Job failed: doc failed: coq-core.8.17.1