2026-11-05 04:06.33: New job: doc coqide-server.8.17.0 (5c075fab4ba3)
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 coqide-server.8.17.0
2026-11-05 05:35.12: doc coqide-server.8.17.0 (5c075fab4ba3)
=== 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_791d49-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 coqide-server.8.17.0
2026-11-05 05:35.24: Job failed: doc failed: coqide-server.8.17.0