Build:
- 1
- 0
2026-09-04 16:50.22: New job: build herdtools7.7.56.3 (9a435dc5ea5c) 2026-09-04 16:50.22: Waiting for resource in pool day11-builds 2026-09-04 18:00.42: Got resource from pool day11-builds 2026-09-04 18:00.42: [profile full] build herdtools7.7.56.3 2026-09-04 18:00.42: build herdtools7.7.56.3 (9a435dc5ea5c) === DEPENDENCIES (12 transitive) === base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e compiler-cloning.enabled 966a2e6839f0 dune.3.24.2 25fbaa318de6 menhir.20260209 c1f23eb38523 menhirCST.20260209 0c0a8e122478 menhirGLR.20260209 55b8cfc3f8b3 menhirLib.20260209 e790c6b1b683 menhirSdk.20260209 5256bfaa72f1 ocaml.5.5.1 70ca0c66e0e8 ocaml-base-compiler.5.5.1 59841d7ed85e ocaml-compiler.5.5.1 492c0c740bd1 === STDOUT === Processing: [default: loading data] [herdtools7.7.56.3: dl] [herdtools7.7.56.3: extract] -> retrieved herdtools7.7.56.3 (https://opam.ocaml.org/cache) [herdtools7: sh] + /usr/bin/sh "./dune-build.sh" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/herdtools7.7.56.3) - + ./version-gen.sh /home/opam/.opam/default - + dune build --profile release @all -> compiled herdtools7.7.56.3 [herdtools7: sh] + /usr/bin/sh "./dune-install.sh" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/herdtools7.7.56.3) -> installed herdtools7.7.56.3 === STDERR === 2026-09-04 18:07.16: OK: build herdtools7.7.56.3 (runc: 370.7s, disk: 6KB) 2026-09-04 18:07.16: Job succeeded