Build:
- 0
2026-10-06 18:00.04: New job: build kind2.3.0.0 (13d0d5460520) 2026-10-06 18:00.04: Waiting for resource in pool day11-builds 2026-10-06 18:10.48: Got resource from pool day11-builds 2026-10-06 18:10.48: [profile oxcaml-odoc-master] build kind2.3.0.0 2026-10-06 18:10.48: build kind2.3.0.0 (13d0d5460520) === 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 3194ba1b6774 dune.3.22.2+ox 9158bd0e098d dune-build-info.3.22.2+ox ce241bcdedb5 dune-configurator.3.22.2+ox b9a3eeb73695 menhir.20250912 9f78bd497ab6 menhirCST.20250912 acad386e7593 menhirLib.20250912 ee7753d6f786 menhirSdk.20250912 27edb5726e25 num.1.6 e1118115ba69 ocaml.5.2.0 879ae859f814 ocaml-config.3 37112a8040f8 ocaml-variants.5.2.0+ox 8119d9341417 oxcaml-compiler.5.2.0minus39 72925b65bf23 seq.base 4e4fc87282b8 yojson.2.2.2+ox 3d81eae8c626 zmq.6.0.0 3d06c78b34ef === 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-06 18:13.09: OK: build kind2.3.0.0 (runc: 96.8s, disk: 10KB) 2026-10-06 18:13.09: Job succeeded