2026-09-03 21:54.42: New job: build ortac-runtime-qcheck-stm.0.7.2 (140f57125136)
2026-09-03 21:54.42: Waiting for resource in pool day11-builds
2026-09-03 22:46.46: Got resource from pool day11-builds
2026-09-03 22:46.46: [profile full] build ortac-runtime-qcheck-stm.0.7.2
2026-09-03 22:46.46: build ortac-runtime-qcheck-stm.0.7.2 (140f57125136)
=== DEPENDENCIES (20 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
  dune.3.24.2                                        cbbe7152834a
  fmt.0.11.0                                         1588bbb30c25
  ocaml.5.3.0                                        6ff460273d57
  ocaml-base-compiler.5.3.0                          ab889490af4f
  ocaml-compiler.5.3.0                               a36aaaa91913
  ocaml-config.3                                     c2e80612d111
  ocamlbuild.0.16.1                                  21bfaf9ec475
  ocamlfind.1.9.8                                    8c4f353d7b71
  ortac-runtime.0.7.2                                f19485ebadad
  qcheck-core.0.91                                   51c4d0213745
  qcheck-multicoretests-util.0.10                    0a07c34de654
  qcheck-stm.0.10                                    036e5deef378
  topkg.1.1.1                                        58cf4512c849
  zarith.1.14                                        787bc5ecf3ea
=== STDOUT ===
Processing: [default: loading data]
[ortac-runtime-qcheck-stm.0.7.2: extract]
-> retrieved ortac-runtime-qcheck-stm.0.7.2  (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.7.2)
[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.7.2)
-> compiled  ortac-runtime-qcheck-stm.0.7.2
-> installed ortac-runtime-qcheck-stm.0.7.2
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config

=== STDERR ===

2026-09-03 22:46.58: OK: build ortac-runtime-qcheck-stm.0.7.2 (runc: 2.6s, disk: 8KB)
2026-09-03 22:46.58: Job succeeded