Build:
- 0
2026-06-24 13:54.50: New job: build herdtools7.7.56.3 (5119e609b125) 2026-06-24 13:54.50: Waiting for resource in pool day11-builds 2026-06-24 14:06.14: Got resource from pool day11-builds 2026-06-24 14:06.14: [profile full] build herdtools7.7.56.3 2026-06-24 14:06.14: build herdtools7.7.56.3 (5119e609b125) === DEPENDENCIES (12 transitive) === base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb compiler-cloning.enabled 439a1fc77aa6 dune.3.23.1 a59dd9b14fe3 menhir.20260209 2dfcdff6beb1 menhirCST.20260209 ca14cdeaa1bc menhirGLR.20260209 5ba1fed6b7bb menhirLib.20260209 93342fcbef2d menhirSdk.20260209 28fda6618c58 ocaml.5.5.0 383268832c4b ocaml-base-compiler.5.5.0 522c248944c8 ocaml-compiler.5.5.0 eb1a8babf54c === 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-06-24 14:10.55: OK: build herdtools7.7.56.3 (runc: 266.8s, disk: 6KB) 2026-06-24 14:10.55: Job succeeded