Build:
- 0
2026-10-21 17:10.42: New job: build sail_lean_backend.0.20.3 (a290406a1259) 2026-10-21 17:10.42: Waiting for resource in pool day11-builds 2026-10-21 17:11.55: Got resource from pool day11-builds 2026-10-21 17:11.55: [profile odoc-master-mini] build sail_lean_backend.0.20.3 2026-10-21 17:11.55: build sail_lean_backend.0.20.3 (a290406a1259) === 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 c7eb59735dbd dune.3.24.2 26ca61ae030f dune-private-libs.3.24.2 de03409faf49 dune-site.3.24.2 50d59f617468 dyn.3.24.2 32594e25b1b6 fs-io.3.24.2 7b818ccf0dae lem.2026-05-01 72777c7e8a5d libsail.0.20.3 7123af061e53 linksem.0.8 40106fe7ab53 menhir.20260209 d1ea8c88ec3b menhirCST.20260209 4b4695d97c26 menhirGLR.20260209 aaeea559bc5d menhirLib.20260209 b3ad34a1cc55 menhirSdk.20260209 0f7f4611a4ff num.1.6 88845f95ceed ocaml.5.5.1 b4ae7c74216a ocaml-base-compiler.5.5.1 cae593a5c5a1 ocaml-compiler.5.5.1 22179c97969c ocamlbuild.0.16.1 4352af4257a3 ocamlfind.1.9.9~preview 27baeb7469d0 ocamlgraph.2.2.0 64b84f69e827 ordering.3.24.2 e19fec0ac7b7 ott.0.34 8730c7d3e7f5 pp.2.0.0 335077788a9d pprint.20230830 517dd53a587a sail_maker.0.20.3 d942f06dd203 stdune.3.24.2 6b4129068eb9 top-closure.3.24.2 1bb5b5b1d853 yojson.3.0.0 d59788801ef1 zarith.1.14 bddddc68b0d9 === STDOUT === Processing: [default: loading data] [sail_lean_backend.0.20.3: extract] -> retrieved sail_lean_backend.0.20.3 (cached) [sail_lean_backend: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "sail_lean_backend" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/sail_lean_backend.0.20.3) [sail_lean_backend: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "sail_lean_backend" "--create-install-files" "sail_lean_backend" (CWD=/home/opam/.opam/default/.opam-switch/build/sail_lean_backend.0.20.3) -> compiled sail_lean_backend.0.20.3 -> installed sail_lean_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-21 17:12.33: OK: build sail_lean_backend.0.20.3 (runc: 10.6s, disk: 9KB) 2026-10-21 17:12.33: Job succeeded