2026-10-23 20:26.17: New job: build sail_coq_backend.0.20.3 (086d226488f0)
2026-10-23 20:26.17: Waiting for resource in pool day11-builds
2026-10-23 20:26.29: Got resource from pool day11-builds
2026-10-23 20:26.29: [profile odoc-master-mini] build sail_coq_backend.0.20.3
2026-10-23 20:26.29: build sail_coq_backend.0.20.3 (086d226488f0)
=== DEPENDENCIES (36 transitive) ===
  base-threads.base                                  ca51096a9c5b
  base-unix.base                                     88a83b7ed333
  compiler-cloning.enabled                           1aa529c962c5
  conf-findutils.1                                   806c2e66f9cd
  conf-gmp.5                                         d0211a82c71f
  conf-pkg-config.5                                  26be2768a637
  csexp.1.5.2                                        a054117ec731
  dune.3.24.2                                        6cd6abc0b8c5
  dune-private-libs.3.24.2                           9cb629f04ccf
  dune-site.3.24.2                                   34e2b2ecacf4
  dyn.3.24.2                                         b14292db5e5d
  fs-io.3.24.2                                       4cd42c2a2b4c
  lem.2026-05-01                                     301990b5826f
  libsail.0.20.3                                     4826ac54bed8
  linksem.0.8                                        4f618e02679c
  menhir.20260209                                    b784793c0b4e
  menhirCST.20260209                                 58a366acf4d5
  menhirGLR.20260209                                 6a70f24d2935
  menhirLib.20260209                                 161f2871718d
  menhirSdk.20260209                                 412307911f98
  num.1.6                                            bf79e8a7f25b
  ocaml.5.5.2                                        3d66d99b0b38
  ocaml-base-compiler.5.5.2                          546a7f1026cd
  ocaml-compiler.5.5.2                               956e368db607
  ocamlbuild.0.16.1                                  2941453b8670
  ocamlfind.1.9.9~preview                            36cecca1627b
  ocamlgraph.2.2.0                                   19894572d80d
  ordering.3.24.2                                    e6546f318ae4
  ott.0.34                                           1ce95b30245d
  pp.2.0.0                                           5c056e9f41af
  pprint.20230830                                    d4d61ac90b32
  sail_maker.0.20.3                                  e7cc8acea1e1
  stdune.3.24.2                                      6a2f73e32fa7
  top-closure.3.24.2                                 0039a2520a4f
  yojson.3.0.0                                       4e4194d0512b
  zarith.1.14                                        cbecd38aadee
=== STDOUT ===
Processing: [default: loading data]
[sail_coq_backend.0.20.3: extract]
-> retrieved sail_coq_backend.0.20.3  (cached)
[sail_coq_backend: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "sail_coq_backend" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/sail_coq_backend.0.20.3)
[sail_coq_backend: dune install]
+ /home/opam/.opam/default/bin/dune "install" "-p" "sail_coq_backend" "--create-install-files" "sail_coq_backend" (CWD=/home/opam/.opam/default/.opam-switch/build/sail_coq_backend.0.20.3)
-> compiled  sail_coq_backend.0.20.3
-> installed sail_coq_backend.0.20.3
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config

=== STDERR ===

2026-10-23 20:27.08: OK: build sail_coq_backend.0.20.3 (runc: 9.6s, disk: 9KB)
2026-10-23 20:27.08: Job succeeded