2026-09-04 00:25.44: New job: build ortac-qcheck-stm.0.7.0 (6eb397a8fd44)
2026-09-04 00:25.44: Waiting for resource in pool day11-builds
2026-09-04 00:52.12: Got resource from pool day11-builds
2026-09-04 00:52.12: [profile full] build ortac-qcheck-stm.0.7.0
2026-09-04 00:52.12: build ortac-qcheck-stm.0.7.0 (6eb397a8fd44)
=== DEPENDENCIES (46 transitive) ===
  base-domains.base                                  123abf275c00
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  cmdliner.1.3.0                                     194b6d1271c0
  conf-gmp.5                                         eac5259e412f
  conf-pkg-config.5                                  74f50f3cfe72
  cppo.1.8.0                                         95405d14a0d3
  csexp.1.5.2                                        ceaadb4f9db6
  dune.3.24.2                                        cbbe7152834a
  dune-build-info.3.24.2                             0074fab22f51
  dune-private-libs.3.24.2                           92c81420c3cb
  dune-site.3.24.2                                   b6b3d5b94fa0
  dyn.3.24.2                                         1fa0dd47af58
  fmt.0.11.0                                         1588bbb30c25
  fs-io.3.24.2                                       c5591a56c2fb
  gospel.0.3.0                                       17c1e79ee464
  menhir.20260209                                    6e4552bcd5b5
  menhirCST.20260209                                 64df6c1daf25
  menhirGLR.20260209                                 7a7e3d8f6809
  menhirLib.20260209                                 dcf4a41684df
  menhirSdk.20260209                                 27b2a039dd26
  ocaml.5.3.0                                        6ff460273d57
  ocaml-base-compiler.5.3.0                          ab889490af4f
  ocaml-compiler.5.3.0                               a36aaaa91913
  ocaml-compiler-libs.v0.17.0                        a116ac6aca12
  ocaml-config.3                                     c2e80612d111
  ocamlbuild.0.16.1                                  21bfaf9ec475
  ocamlfind.1.9.8                                    8c4f353d7b71
  ordering.3.24.2                                    e8eebfecd646
  ortac-core.0.7.0                                   3ab7f1e4a139
  ortac-runtime.0.7.0                                8e90b8b85558
  ortac-runtime-qcheck-stm.0.7.0                     dd954ef65474
  pp.2.0.0                                           c0d6a330216b
  pp_loc.2.1.0                                       e49c5f4f6bfc
  ppx_derivers.1.2.1                                 962a10540301
  ppx_deriving.6.0.3                                 83510d654958
  ppxlib.0.35.0                                      1afc84621aed
  qcheck-core.0.91                                   51c4d0213745
  qcheck-multicoretests-util.0.10                    0a07c34de654
  qcheck-stm.0.10                                    036e5deef378
  sexplib0.v0.17.0                                   6a756732d111
  stdlib-shims.0.3.0                                 564d91498093
  stdune.3.24.2                                      2954f052c1c3
  top-closure.3.24.2                                 5bd239d0c8b9
  topkg.1.1.1                                        58cf4512c849
  zarith.1.14                                        787bc5ecf3ea
=== STDOUT ===
Processing: [default: loading data]
[ortac-qcheck-stm.0.7.0: extract]
-> retrieved ortac-qcheck-stm.0.7.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.7.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.7.0)
-> compiled  ortac-qcheck-stm.0.7.0
-> installed ortac-qcheck-stm.0.7.0
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config

=== STDERR ===

2026-09-04 00:52.36: OK: build ortac-qcheck-stm.0.7.0 (runc: 7.6s, disk: 11KB)
2026-09-04 00:52.36: Job succeeded