Build:
- 0
2026-11-07 21:29.27: New job: build quint-connect.0.2.0 (1e49f12299c0) 2026-11-07 21:29.27: [profile full] build quint-connect.0.2.0 2026-11-07 21:29.31: build quint-connect.0.2.0 (1e49f12299c0) === DEPENDENCIES (12 transitive) === base-threads.base e5afefc1e615 base-unix.base 52b3a79a2336 compiler-cloning.enabled 656c3e8c82d2 dune.3.24.2 8d8bffe1f6de ocaml.5.5.2 fec8e2d43a6e ocaml-base-compiler.5.5.2 ef85578d279b ocaml-compiler.5.5.2 2759c28bbd03 ocaml-compiler-libs.v0.17.0 8e440c55f221 ppx_derivers.1.2.1 a056fafeb3a4 ppxlib.0.39.0 2ba9c38d4848 sexplib0.v0.17.0 75de1864cc9e yojson.3.0.0 9d643d653d50 === STDOUT === Processing: [default: loading data] [quint-connect.0.2.0: dl] [quint-connect.0.2.0: http] [quint-connect.0.2.0: extract] -> retrieved quint-connect.0.2.0 (https://gitlab.com/nomadic-labs/ai-harness/ocaml-quint-connect/-/archive/v0.2.0/ocaml-quint-connect-v0.2.0.tar.gz) [quint-connect: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "ocaml-quint-connect" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/quint-connect.0.2.0) -> compiled quint-connect.0.2.0 [quint-connect: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "ocaml-quint-connect" "--prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/quint-connect.0.2.0) -> installed quint-connect.0.2.0 === STDERR === 2026-11-07 21:30.42: OK: build quint-connect.0.2.0 (runc: 12.2s, disk: 7KB) 2026-11-07 21:30.42: Job succeeded