Build:
- 0
2026-06-16 16:44.21: New job: build goblint.2.0.1 (f9ec0b34c9c5) 2026-06-16 16:44.21: Waiting for resource in pool day11-builds 2026-06-16 17:20.40: Got resource from pool day11-builds 2026-06-16 17:20.40: [profile full] build goblint.2.0.1 2026-06-16 17:20.40: build goblint.2.0.1 (f9ec0b34c9c5) === DEPENDENCIES (62 transitive) === angstrom.0.16.1 a499461c2439 arg-complete.0.2.1 a8b072032eb9 astring.0.8.5 156e7cc742dd base-threads.base b7164ff76afe base-unix.base 839dc585f12d batteries.3.10.0 8ce9dee731cf bigstringaf.0.10.0 b0e2fb8e5d3b bos.0.3.0 c4f7c1954a6b camlp-streams.5.0.1 76b76cc9fe05 conf-autoconf.0.2 b3cd190cf0b5 conf-gcc.1.0 dd4c5e537e37 conf-gmp.5 61e3c79e0ddf conf-perl.2 9ee1ae5f2bf1 conf-pkg-config.5 64c6b37d622b cppo.1.8.0 ea583d2d3bbb cpu.2.0.0 2a34397cc1f1 csexp.1.5.2 ec63db2dab31 ctypes.0.24.0 5228215932fd dune.3.23.1 5402470d931c dune-configurator.3.23.1 58f4a3f92083 dune-private-libs.3.23.1 c16cf28d7d13 dune-site.3.23.1 cbc187aaca46 dyn.3.23.1 e5561c8a8690 fmt.0.11.0 fb25837707ac fpath.0.7.3 d991925a5b6c fs-io.3.23.1 f4ff16bec1f6 goblint-cil.2.0.1 f451501b8b19 integers.0.8.0 705d881ec2bb json-data-encoding.0.11 12301cebe70c jsonrpc.1.26.0 cd2a6d27d438 logs.0.10.0 a7cdcdcb1947 num.1.6 480227ca99db ocaml.4.14.4 cb826ea44eb2 ocaml-base-compiler.4.14.4 d2f775f983d7 ocaml-compiler-libs.v0.12.4 d1dd1437b449 ocaml-config.2 669e0fcf9e4d ocaml-syntax-shims.1.0.0 8e1b0ec7f904 ocamlbuild.0.16.1 8f6c52e6fce8 ocamlfind.1.9.8 6025f4a8e98e ordering.3.23.1 2cd0c0f186b7 pp.2.0.0 e9675c1d094b ppx_blob.0.9.0 1f0faa877271 ppx_derivers.1.2.1 441538dbecd1 ppx_deriving.6.1.1 4c7646da994d ppx_deriving_hash.0.1.3 23f90a47f4b0 ppx_deriving_yojson.3.10.0 77ec1f9bba30 ppxlib.0.38.0 a3e9cb715835 qcheck-core.0.25 efa263080dee rresult.0.7.0 66e2b7baf32c seq.base 063828a3d698 sexplib0.v0.17.0 7af37899b3a0 sha.1.15.4 612fa7082e16 stdlib-shims.0.3.0 e2dd0beb9112 stdune.3.23.1 0684573a47aa stringext.1.6.0 d29c9ca4a03c top-closure.3.23.1 d4de8fb0f42a topkg.1.1.1 ab549298f3fc uri.4.4.0 a28bedf1b002 uuidm.0.9.10 1d2586bf3b30 yaml.3.2.0 4a9c04c25dec yojson.2.2.2 dc1b4f6684bd zarith.1.14 cde7973b8292 === STDOUT === Processing: [default: loading data] [goblint.2.0.1: dl] [goblint.2.0.1: extract] [goblint.2.0.1/0001-Fix-deprecated-File.exists-in-update_suite.rb.patch: dl] -> retrieved goblint.2.0.1 (https://opam.ocaml.org/cache) [goblint: patch] applying 0001-Fix-deprecated-File.exists-in-update_suite.rb.patch [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.0.1) - (cd _build/default/src && /usr/bin/bash -e -u -o pipefail -c 'git describe --all --long --dirty || echo "n/a"') > /tmp/build_197aaf_dune/dune-pipe-action-_a021ca_.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.0.1) -> compiled goblint.2.0.1 -> installed goblint.2.0.1 [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-16 17:22.16: OK: build goblint.2.0.1 (runc: 75.2s, disk: 15KB) 2026-06-16 17:22.16: Job succeeded