Build:
- 0
2026-06-23 17:03.49: New job: build ortac-runtime-qcheck-stm.0.6.1 (3ca0d0bdb10e) 2026-06-23 17:03.49: Waiting for resource in pool day11-builds 2026-06-23 19:20.19: Got resource from pool day11-builds 2026-06-23 19:20.19: [profile full] build ortac-runtime-qcheck-stm.0.6.1 2026-06-23 19:20.19: build ortac-runtime-qcheck-stm.0.6.1 (3ca0d0bdb10e) === DEPENDENCIES (19 transitive) === base-domains.base cac67b5f2a22 base-threads.base b7164ff76afe base-unix.base 839dc585f12d compiler-cloning.enabled 0d2606125f88 conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 4b60827fc174 dune.3.23.1 dbfeecb5ca10 fmt.0.11.0 13e83cd80bf7 ocaml.5.5.0 1b4132bddf48 ocaml-base-compiler.5.5.0 1901c3a760c1 ocaml-compiler.5.5.0 5f593a0b4a8c ocamlbuild.0.16.1 b485a4f69c01 ocamlfind.1.9.8 5b46f9d92bbd ortac-runtime.0.6.1 ef2b52047ae2 qcheck-core.0.91 ec429e3dbb1f qcheck-multicoretests-util.0.10 8d661ec9dcf8 qcheck-stm.0.10 eab2e235fb9f topkg.1.1.1 8e3718e4cf5c zarith.1.14 e195aa531085 === STDOUT === Processing: [default: loading data] [ortac-runtime-qcheck-stm.0.6.1: extract] -> retrieved ortac-runtime-qcheck-stm.0.6.1 (cached) [ortac-runtime-qcheck-stm: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "ortac-runtime-qcheck-stm" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/ortac-runtime-qcheck-stm.0.6.1) [ortac-runtime-qcheck-stm: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "ortac-runtime-qcheck-stm" "--create-install-files" "ortac-runtime-qcheck-stm" (CWD=/home/opam/.opam/default/.opam-switch/build/ortac-runtime-qcheck-stm.0.6.1) -> compiled ortac-runtime-qcheck-stm.0.6.1 -> installed ortac-runtime-qcheck-stm.0.6.1 [WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config === STDERR === 2026-06-23 19:20.39: OK: build ortac-runtime-qcheck-stm.0.6.1 (runc: 2.1s, disk: 8KB) 2026-06-23 19:20.39: Job succeeded