Build:
- 0
2026-10-06 17:09.41: New job: build kind2.3.0.0 (340549b4ddad) 2026-10-06 17:09.41: Waiting for resource in pool day11-builds 2026-10-06 17:11.42: Got resource from pool day11-builds 2026-10-06 17:11.42: [profile odoc-master-mini] build kind2.3.0.0 2026-10-06 17:11.42: build kind2.3.0.0 (340549b4ddad) === DEPENDENCIES (20 transitive) === base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 compiler-cloning.enabled a13866103a7b conf-pkg-config.5 e39f7209b38f conf-zmq.0.1 d470b1d63255 csexp.1.5.2 b96efdeb2d5f dune.3.24.2 99dad2c0d74f dune-build-info.3.24.2 cdb020c56c3d dune-configurator.3.24.2 7520decaab4b menhir.20260209 6b72f2d991cf menhirCST.20260209 a445cc603682 menhirGLR.20260209 2a99c4d7f310 menhirLib.20260209 76d3baf864a6 menhirSdk.20260209 67dcb7a22c41 num.1.6 018b8cf38592 ocaml.5.5.1 3d940b39ad2d ocaml-base-compiler.5.5.1 5cf781414aed ocaml-compiler.5.5.1 9ea90032811f yojson.3.0.0 e7f2da0109c8 zmq.6.0.0 0ef3f0d32772 === 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-06 17:13.35: OK: build kind2.3.0.0 (runc: 24.6s, disk: 8KB) 2026-10-06 17:13.35: Job succeeded