Build:
- 0
2026-06-16 18:04.52: New job: build ortac-qcheck-stm.0.1.0 (27a7a17c2695) 2026-06-16 18:04.52: Waiting for resource in pool day11-builds 2026-06-16 18:29.16: Got resource from pool day11-builds 2026-06-16 18:29.16: [profile full] build ortac-qcheck-stm.0.1.0 2026-06-16 18:29.16: build ortac-qcheck-stm.0.1.0 (27a7a17c2695) === DEPENDENCIES (36 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d cmdliner.1.3.0 50e2e2aca21e cppo.1.8.0 419078d7d6b0 csexp.1.5.2 1637d117a8bb dune.3.23.1 433683e90514 dune-private-libs.3.23.1 07654aa79309 dune-site.3.23.1 8c934bbe9c98 dyn.3.23.1 5422467d975c fmt.0.11.0 6613082405db fs-io.3.23.1 94d5fde32e5a gospel.0.2.0 c098d749959a menhir.20260209 db1e576d09fc menhirCST.20260209 5ae1ce0e3cc9 menhirGLR.20260209 a21348cfb497 menhirLib.20260209 643af17924e0 menhirSdk.20260209 3c82faacb8b3 ocaml.5.3.0 f3f5cb82ec5e ocaml-base-compiler.5.3.0 3282792848d7 ocaml-compiler.5.3.0 ec781058d2f3 ocaml-compiler-libs.v0.17.0 8c25585cc677 ocaml-config.3 0df636be409d ocamlbuild.0.16.1 6a034beeb0c1 ocamlfind.1.9.8 814b8d0197a7 ordering.3.23.1 af2575010b0a ortac-core.0.1.0 74f65404a0e8 pp.2.0.0 1e61e99dad3e pp_loc.2.1.0 1b42c5c080b8 ppx_derivers.1.2.1 ff9d4bfc129e ppx_deriving.6.0.3 7db882daec22 ppxlib.0.35.0 2ca0651b3ecc sexplib0.v0.17.0 56e363170312 stdlib-shims.0.3.0 f49bc9dde33b stdune.3.23.1 f18a01ccbbf2 top-closure.3.23.1 54bd179bad61 topkg.1.1.1 77f1be4dd954 === STDOUT === Processing: [default: loading data] [ortac-qcheck-stm.0.1.0: extract] -> retrieved ortac-qcheck-stm.0.1.0 (cached) [ortac-qcheck-stm: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "ortac-qcheck-stm" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/ortac-qcheck-stm.0.1.0) [ortac-qcheck-stm: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "ortac-qcheck-stm" "--create-install-files" "ortac-qcheck-stm" (CWD=/home/opam/.opam/default/.opam-switch/build/ortac-qcheck-stm.0.1.0) -> compiled ortac-qcheck-stm.0.1.0 -> installed ortac-qcheck-stm.0.1.0 === STDERR === 2026-06-16 18:29.34: OK: build ortac-qcheck-stm.0.1.0 (runc: 6.1s, disk: 9KB) 2026-06-16 18:29.34: Job succeeded