Build:
- 0
2026-10-07 21:38.39: New job: build kind2.3.0.0 (437e8767490b) 2026-10-07 21:38.39: Waiting for resource in pool day11-builds 2026-10-07 21:45.02: Got resource from pool day11-builds 2026-10-07 21:45.02: [profile oxcaml-odoc-master] build kind2.3.0.0 2026-10-07 21:45.02: build kind2.3.0.0 (437e8767490b) === DEPENDENCIES (22 transitive) === base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 conf-autoconf.1 8ee1e3913008 conf-pkg-config.5 e39f7209b38f conf-which.1 65c43ca119c3 conf-zmq.0.1 d470b1d63255 csexp.1.5.2 4dac08a488e7 dune.3.22.2+ox a601158acc62 dune-build-info.3.22.2+ox 2985fc2803c7 dune-configurator.3.22.2+ox cc2e07190f84 menhir.20250912 41dab417aed9 menhirCST.20250912 e7b0a46b7a0c menhirLib.20250912 183a20ec50f2 menhirSdk.20250912 c4c7e0750186 num.1.6 7a36ed3a3fba ocaml.5.2.0 b8c350f4f1ad ocaml-config.3 2c72b422dfc3 ocaml-variants.5.2.0+ox 60cb73ac7801 oxcaml-compiler.5.2.0minus39 c47b62237187 seq.base cb5ff207fd47 yojson.2.2.2+ox 4a52aa591560 zmq.6.0.0 9aec41595449 === 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) - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.kind2dev.objs/byte -I src/.kind2dev.objs/native -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zmq -cmi-file src/.kind2dev.objs/byte/version.cmi -no-alias-deps -o src/.kind2dev.objs/native/version.cmx -c -impl src/version.ml) - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Build_info__Build_info_data, and its interface was not compiled with -opaque - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.kind2dev.objs/byte -I src/.kind2dev.objs/native -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zmq -cmi-file src/.kind2dev.objs/byte/termLib.cmi -no-alias-deps -o src/.kind2dev.objs/native/termLib.cmx -c -impl src/terms/termLib.ml) - File "src/terms/termLib.ml", line 327, characters 4-18: - 327 | Sys.set_signal s Sys.Signal_ignore - ^^^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Sys.set_signal - Use [Sys.Safe.set_signal]. - - File "src/terms/termLib.ml", line 394, characters 4-18: - 394 | Sys.set_signal s ( Sys.Signal_handle f ) - ^^^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Sys.set_signal - Use [Sys.Safe.set_signal]. -> compiled kind2.3.0.0 -> installed kind2.3.0.0 [WARNING] Opam packages conf-pkg-config.5 and conf-zmq.0.1 depend on the following system packages that are no longer installed: libzmq3-dev pkg-config - conf-pkg-config.5: depends on pkg-config - conf-zmq.0.1: depends on libzmq3-dev === STDERR === 2026-10-07 21:47.23: OK: build kind2.3.0.0 (runc: 105.7s, disk: 10KB) 2026-10-07 21:47.23: Job succeeded