2026-11-05 03:53.00: New job: doc cvc5.1.3.0 (5d5bd653dbcb)
2026-11-05 03:53.00: Waiting for resource in pool day11-builds
2026-11-05 04:47.35: Got resource from pool day11-builds
2026-11-05 04:47.35: [profile full] doc cvc5.1.3.0
2026-11-05 04:47.35: doc cvc5.1.3.0 (5d5bd653dbcb)
=== DEPENDENCIES (0 transitive) ===

=== STDOUT ===
time="2026-11-05T04:53:13Z" level=warning msg="unable to get oom kill count" error="openat2 /sys/fs/cgroup/day11-day11_run_02f061-7/memory.events: no such file or directory"
time="2026-11-05T04:53:13Z" level=error msg="runc run failed: unable to start container process: error during container init: error mounting \"/home/app/.day11/cache/debian-trixie-x86_64/e9b67e9415cf/fs/home/opam/.opam/default/lib/cvc5\" to rootfs at \"/home/opam/prep/universes/e3e51ccbcb8f7a6d7274e271daffd333/cvc5/1.3.0/lib/cvc5\": stat /home/app/.day11/cache/debian-trixie-x86_64/e9b67e9415cf/fs/home/opam/.opam/default/lib/cvc5: no such file or directory"

=== STDERR ===

2026-11-05 04:53.16: FAILED: doc cvc5.1.3.0
2026-11-05 05:02.47: Job failed: doc failed: cvc5.1.3.0