Build:
- 0
2026-09-04 19:34.50: New job: build frama-c-luncov.0.2.6 (3bcb561b5ac9) 2026-09-04 19:34.50: Waiting for resource in pool day11-builds 2026-09-04 19:39.51: Got resource from pool day11-builds 2026-09-04 19:39.51: [profile full] build frama-c-luncov.0.2.6 2026-09-04 19:39.51: build frama-c-luncov.0.2.6 (3bcb561b5ac9) === DEPENDENCIES (80 transitive) === alt-ergo-free.2.4.3 ce2815a2476e astring.0.8.5 dd9bc4900cb4 base.v0.17.3 88b199545512 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e bos.0.3.0 aab778a56da5 camlzip.1.14 680aa1cb2b96 cmdliner.1.3.0 1ca5e2b52587 compiler-cloning.enabled 966a2e6839f0 conf-autoconf.1 788c5c60b51c conf-gmp.5 eac5259e412f conf-pkg-config.5 74f50f3cfe72 conf-zlib.1 26591fa9352c cppo.1.8.0 3a29ac6f7bab csexp.1.5.2 8c096e7de322 ctypes.0.24.0 df76887af7b0 dune.3.24.2 25fbaa318de6 dune-build-info.3.24.2 12225e340a6d dune-configurator.3.24.2 517e3f9cad4b dune-private-libs.3.24.2 7c265b9be835 dune-site.3.24.2 9a481ee29cf0 dyn.3.24.2 5dada6330501 fmt.0.11.0 4ca72d98e2d4 fpath.0.7.3 313c8edc1b30 frama-c.33.0 7a03e5ff7b7b fs-io.3.24.2 060f101561ad integers.0.8.0 9e0dce9e7394 jane-street-headers.v0.17.0 f18028c937c5 jst-config.v0.17.0 37eb02483155 logs.0.10.0 45f87d5ce2c4 menhir.20260209 c1f23eb38523 menhirCST.20260209 0c0a8e122478 menhirGLR.20260209 55b8cfc3f8b3 menhirLib.20260209 e790c6b1b683 menhirSdk.20260209 5256bfaa72f1 num.1.6 244eeeb7f1b4 ocaml.5.5.1 70ca0c66e0e8 ocaml-base-compiler.5.5.1 59841d7ed85e ocaml-compiler.5.5.1 492c0c740bd1 ocaml-compiler-libs.v0.17.0 235024900ef6 ocaml_intrinsics_kernel.v0.17.2 10a82d6157c1 ocamlbuild.0.16.1 e25cf731aeb5 ocamlfind.1.9.9~preview 5e0261154b58 ocamlgraph.2.2.0 c8e04eceddc9 ocplib-simplex.0.4.1 6a350905e3c2 ordering.3.24.2 a9318a614b10 pp.2.0.0 7dbe7ecc6edb ppx_assert.v0.17.0 82f34672b596 ppx_base.v0.17.0 9c31b43f583d ppx_cold.v0.17.0 ec043906a439 ppx_compare.v0.17.0 80e0df88ac09 ppx_derivers.1.2.1 8d5f777c17ee ppx_deriving.6.1.3 39452778e8ff ppx_deriving_yaml.0.4.1 65e74cd13c62 ppx_deriving_yojson.3.10.0 b7591e0b1ee4 ppx_enumerate.v0.17.0 970b405dbc8b ppx_globalize.v0.17.2 f10cd28a39ed ppx_hash.v0.17.0 2ed6f4eb522a ppx_here.v0.17.0 8857ff0d96d1 ppx_inline_test.v0.17.1 ef55758fcaf7 ppx_optcomp.v0.17.1 183524b02a4e ppx_sexp_conv.v0.17.1 0740e0c56f6f ppxlib.0.38.0 ac854f4fbd20 ppxlib_jane.v0.17.4 7ffd450ab5af psmt2-frontend.0.4.0 44000097d65c rresult.0.7.0 bd921cc3de54 seq.base 06af5ac9d1a8 sexplib0.v0.17.0 055934f8e366 stdio.v0.17.0 d79f7548eed3 stdlib-shims.0.3.0 cc542b70be6c stdune.3.24.2 6817312bfecb store.0.2 6f7b560d5c23 time_now.v0.17.0 2f4e048c687f top-closure.3.24.2 b79e077e20ae topkg.1.1.1 2919b4412ec4 unionFind.20260226 bd3e88adde47 why3.1.8.2 86bf33519346 yaml.3.2.0 0ac694871695 yojson.3.0.0 7ef0eaa5587b zarith.1.14 345688a9ddb6 === STDOUT === Processing: [default: loading data] [frama-c-luncov.0.2.6: dl] [frama-c-luncov.0.2.6: extract] -> retrieved frama-c-luncov.0.2.6 (https://opam.ocaml.org/cache) [frama-c-luncov: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "frama-c-luncov" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c-luncov.0.2.6) [frama-c-luncov: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "frama-c-luncov" "--create-install-files" "frama-c-luncov" (CWD=/home/opam/.opam/default/.opam-switch/build/frama-c-luncov.0.2.6) -> compiled frama-c-luncov.0.2.6 -> installed frama-c-luncov.0.2.6 [WARNING] Opam packages conf-autoconf.1, conf-gmp.5 and conf-zlib.1 depend on the following system packages that are no longer installed: autoconf libgmp-dev zlib1g-dev - conf-autoconf.1: depends on autoconf - conf-gmp.5: depends on libgmp-dev - conf-zlib.1: depends on zlib1g-dev === STDERR === 2026-09-04 19:40.27: OK: build frama-c-luncov.0.2.6 (runc: 9.6s, disk: 15KB) 2026-09-04 19:40.27: Job succeeded