Build:
- 0
2026-10-06 17:18.34: New job: build sail_lean_backend.0.20.3 (596ea8dcf8da) 2026-10-06 17:18.34: Waiting for resource in pool day11-builds 2026-10-06 17:20.01: Got resource from pool day11-builds 2026-10-06 17:20.01: [profile odoc-master-mini] build sail_lean_backend.0.20.3 2026-10-06 17:20.01: build sail_lean_backend.0.20.3 (596ea8dcf8da) === DEPENDENCIES (36 transitive) === base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 compiler-cloning.enabled a13866103a7b conf-findutils.1 7d0b2dd185a6 conf-gmp.5 c2adbec9a470 conf-pkg-config.5 e39f7209b38f csexp.1.5.2 b96efdeb2d5f dune.3.24.2 99dad2c0d74f dune-private-libs.3.24.2 d0379afb186c dune-site.3.24.2 b1be78850591 dyn.3.24.2 c5d2c71ea4cf fs-io.3.24.2 773f4d7f5418 lem.2026-05-01 23a5679db6ab libsail.0.20.3 f3e820d422ae linksem.0.8 54a1adffe7be menhir.20260209 6b72f2d991cf menhirCST.20260209 a445cc603682 menhirGLR.20260209 2a99c4d7f310 menhirLib.20260209 76d3baf864a6 menhirSdk.20260209 67dcb7a22c41 num.1.6 018b8cf38592 ocaml.5.5.1 3d940b39ad2d ocaml-base-compiler.5.5.1 5cf781414aed ocaml-compiler.5.5.1 9ea90032811f ocamlbuild.0.16.1 68333e4a0ef3 ocamlfind.1.9.9~preview 0f9da898bc9e ocamlgraph.2.2.0 fb5990b396d9 ordering.3.24.2 374bb3d62956 ott.0.34 d96666197d9c pp.2.0.0 a5cbef7084cf pprint.20230830 b2e6d04e562d sail_maker.0.20.3 15b6d7637d78 stdune.3.24.2 c5dc985f5123 top-closure.3.24.2 d158c80b1dbd yojson.3.0.0 e7f2da0109c8 zarith.1.14 6c7ed2d54016 === 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-06 17:21.11: OK: build sail_lean_backend.0.20.3 (runc: 9.2s, disk: 9KB) 2026-10-06 17:21.11: Job succeeded