Build:
- 0
2026-06-24 17:58.39: New job: build goblint.2.3.0 (2909de7ec79a) 2026-06-24 17:58.39: Waiting for resource in pool day11-builds 2026-06-24 18:39.17: Got resource from pool day11-builds 2026-06-24 18:39.17: [profile full] build goblint.2.3.0 2026-06-24 18:39.17: build goblint.2.3.0 (2909de7ec79a) === DEPENDENCIES (66 transitive) === angstrom.0.16.1 3f3b54e13eee arg-complete.0.2.1 15cff00baaff astring.0.8.5 832f01f8db85 base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb batteries.3.10.0 4588a8f55d48 bigstringaf.0.10.0 bccf4834efa9 bos.0.3.0 2362a088e006 camlp-streams.5.0.1 d48629cb1d21 catapult.0.2 4361e190f873 catapult-file.0.2 94c526a40096 conf-autoconf.0.2 676e4452dc37 conf-gcc.1.0 77cee661efa8 conf-gmp.5 be11edf77089 conf-perl.2 bdcd7b1dce5e conf-pkg-config.5 d5de2c6a88f9 cppo.1.8.0 d14778abb4ad cpu.2.0.0 0aabba9bb8b5 csexp.1.5.2 daa725d901fe ctypes.0.24.0 579e37a9dcc6 dune.3.23.1 dc7ac21ea3be dune-build-info.3.23.1 4121642a1714 dune-configurator.3.23.1 e27f781e405b dune-private-libs.3.23.1 5a90e77607d7 dune-site.3.23.1 e72b09bd5ffc dyn.3.23.1 76621684d78c fileutils.0.6.6 f84dab8c47ce fmt.0.11.0 d4e4a884e3b5 fpath.0.7.3 f966d437ce6f fs-io.3.23.1 41d8c023e6e5 goblint-cil.2.0.3 d6ef2783f966 integers.0.8.0 fbf7dc052a01 json-data-encoding.0.11 a482b7f71eea jsonrpc.1.27.0 d2baa52762bd logs.0.10.0 858c2241f7b2 num.1.6 3d665f14515a ocaml.5.4.1 71fed6f83b21 ocaml-base-compiler.5.4.1 4b8cbe74bda9 ocaml-compiler.5.4.1 df07189447bd ocaml-compiler-libs.v0.17.0 16db8c1cf256 ocaml-config.3 e4a06a221f09 ocaml-syntax-shims.1.0.0 319b2c0da184 ocamlbuild.0.16.1 17067329c57b ocamlfind.1.9.8 567e34ecf540 ordering.3.23.1 2df8a3c484a5 pp.2.0.0 c5b8ea0b3300 ppx_derivers.1.2.1 9db920257470 ppx_deriving.6.1.1 1f243579d2c5 ppx_deriving_hash.0.1.3 b3ef8b446274 ppx_deriving_yojson.3.10.0 8c7fbaf799d7 ppxlib.0.38.0 778175ab9125 qcheck-core.0.25 c72ac30fe0c7 rresult.0.7.0 974e7d5b3af3 seq.base cf386be98197 sexplib0.v0.17.0 bc4140a6824d sha.1.15.4 21a811cba4c8 stdlib-shims.0.3.0 d3f2d28ed00d stdune.3.23.1 c0833cd8c536 stringext.1.6.0 eaa76edbab16 top-closure.3.23.1 fc6003e2d6b0 topkg.1.1.1 6f52f98db34d uri.4.4.0 54790839e710 uuidm.0.9.10 82a7f3473c49 yaml.3.2.0 482f9c284c17 yojson.2.2.2 e383ae1be2ee zarith.1.14 442c15edac63 === STDOUT === Processing: [default: loading data] [goblint.2.3.0: dl] [goblint.2.3.0: extract] -> retrieved goblint.2.3.0 (https://opam.ocaml.org/cache) [goblint: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "goblint" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/goblint.2.3.0) - (cd _build/default/src/build-info && /usr/bin/bash -e -u -o pipefail -c 'git describe --all --long --dirty || echo "n/a"') > /tmp/build_604d0f_dune/dune-pipe-action-_b3c6f2_.stdout - fatal: not a git repository (or any of the parent directories): .git [goblint: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "goblint" "--create-install-files" "goblint" (CWD=/home/opam/.opam/default/.opam-switch/build/goblint.2.3.0) -> compiled goblint.2.3.0 -> installed goblint.2.3.0 [WARNING] Opam packages conf-autoconf.0.2 and conf-pkg-config.5 depend on the following system packages that are no longer installed: autoconf pkg-config - conf-autoconf.0.2: depends on autoconf - conf-pkg-config.5: depends on pkg-config === STDERR === 2026-06-24 18:40.31: OK: build goblint.2.3.0 (runc: 60.2s, disk: 16KB) 2026-06-24 18:40.31: Job succeeded