Build:
- 0
2026-06-19 18:36.02: New job: build kind2.3.0.0 (923b7b333479) 2026-06-19 18:36.02: Waiting for resource in pool day11-builds 2026-06-19 19:34.07: Got resource from pool day11-builds 2026-06-19 19:34.07: [profile full] build kind2.3.0.0 2026-06-19 19:34.07: build kind2.3.0.0 (923b7b333479) === DEPENDENCIES (19 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d conf-pkg-config.5 64c6b37d622b conf-zmq.0.1 97a5bda52bbb csexp.1.5.2 6a11fd34e537 dune.3.23.1 b9e31df96092 dune-build-info.3.23.1 d9835139fc70 dune-configurator.3.23.1 cdae849f232e menhir.20260209 7e5a18b3ff14 menhirCST.20260209 c168fb01e2f6 menhirGLR.20260209 edb0fdd26488 menhirLib.20260209 3896169a6c75 menhirSdk.20260209 4808133f977f num.1.6 1d184d02a6f2 ocaml.5.5.0 7bdffd2f55d9 ocaml-base-compiler.5.5.0 88ac983b1a28 ocaml-compiler.5.5.0 8d77bbea3746 yojson.3.0.0 c8e1db26d309 zmq.5.3.0 fcce7bb25de9 === STDOUT === Processing: [default: loading data] [kind2.3.0.0: dl] [kind2.3.0.0: extract] -> retrieved kind2.3.0.0 (https://opam.ocaml.org/cache) [kind2: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "kind2" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/kind2.3.0.0) -> compiled kind2.3.0.0 -> installed kind2.3.0.0 [WARNING] Opam package conf-zmq.0.1 depends on the following system package that can no longer be found: libzmq3-dev === STDERR === 2026-06-19 19:34.49: OK: build kind2.3.0.0 (runc: 24.7s, disk: 7KB) 2026-06-19 19:34.49: Job succeeded