Build:
- 0
2026-10-03 18:30.50: New job: build kind2.3.0.0 (f17a08e2c3d4) 2026-10-03 18:30.50: [profile oxcaml-odoc-master] build kind2.3.0.0 2026-10-03 18:30.50: build kind2.3.0.0 (f17a08e2c3d4) === DEPENDENCIES (22 transitive) === base-threads.base ddcab511c589 base-unix.base 742554e1dbc2 conf-autoconf.1 43fe4a407b7a conf-pkg-config.5 5bc8297bba82 conf-which.1 5fccb3a41099 conf-zmq.0.1 9a07279cc387 csexp.1.5.2 a9d3fd6f82d9 dune.3.22.2+ox a2ef013eeea9 dune-build-info.3.22.2+ox ef2914b55cd6 dune-configurator.3.22.2+ox dea98c56dd29 menhir.20250912 65f73c656f83 menhirCST.20250912 02622c14e792 menhirLib.20250912 bfcb7a7e20cb menhirSdk.20250912 2af7b20695fa num.1.6 da35670984d3 ocaml.5.2.0 cda6777ccfe3 ocaml-config.3 d77b853eaa33 ocaml-variants.5.2.0+ox a9808a9375cd oxcaml-compiler.5.2.0minus39 9c94ae342626 seq.base c7881d2fd08c yojson.2.2.2+ox 5e12e0fdc8de zmq.6.0.0 159f4f4cea9e === 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-03 18:31.35: OK: build kind2.3.0.0 (runc: 44.1s, disk: 10KB) 2026-10-03 18:31.35: Job succeeded