2026-11-05 04:06.33: New job: doc coq-stdlib.8.17.0 (6533b2de7d97)
2026-11-05 04:06.33: Waiting for resource in pool day11-builds
2026-11-05 05:35.12: Got resource from pool day11-builds
2026-11-05 05:35.12: [profile full] doc coq-stdlib.8.17.0
2026-11-05 05:35.12: doc coq-stdlib.8.17.0 (6533b2de7d97)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
time="2026-11-05T05:35:20Z" level=warning msg="unable to get oom kill count" error="openat2 /sys/fs/cgroup/day11-day11_run_b39e5a-7/memory.events: no such file or directory"
time="2026-11-05T05:35:20Z" level=error msg="runc run failed: unable to start container process: exec: \"/usr/bin/env\": stat /usr/bin/env: no such file or directory"

=== STDERR ===

2026-11-05 05:35.24: FAILED: doc coq-stdlib.8.17.0
2026-11-05 05:35.24: Job failed: doc failed: coq-stdlib.8.17.0