Build:
- 0
2026-10-23 20:19.14: New job: build kind2.3.0.0 (87978536dcf9) 2026-10-23 20:19.14: Waiting for resource in pool day11-builds 2026-10-23 20:20.18: Got resource from pool day11-builds 2026-10-23 20:20.18: [profile odoc-master-mini] build kind2.3.0.0 2026-10-23 20:20.18: build kind2.3.0.0 (87978536dcf9) === DEPENDENCIES (20 transitive) === base-threads.base ca51096a9c5b base-unix.base 88a83b7ed333 compiler-cloning.enabled 1aa529c962c5 conf-pkg-config.5 26be2768a637 conf-zmq.0.1 55536ad99592 csexp.1.5.2 a054117ec731 dune.3.24.2 6cd6abc0b8c5 dune-build-info.3.24.2 337477dae781 dune-configurator.3.24.2 bd4df6cc6c29 menhir.20260209 b784793c0b4e menhirCST.20260209 58a366acf4d5 menhirGLR.20260209 6a70f24d2935 menhirLib.20260209 161f2871718d menhirSdk.20260209 412307911f98 num.1.6 bf79e8a7f25b ocaml.5.5.2 3d66d99b0b38 ocaml-base-compiler.5.5.2 546a7f1026cd ocaml-compiler.5.5.2 956e368db607 yojson.3.0.0 4e4194d0512b zmq.6.0.0 8ff8fb830333 === 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-10-23 20:22.06: OK: build kind2.3.0.0 (runc: 17.7s, disk: 8KB) 2026-10-23 20:22.06: Job succeeded