Build:
- 0
2026-09-04 00:27.25: New job: build goblint.2.4.0 (7ee3d0a27633) 2026-09-04 00:27.25: Waiting for resource in pool day11-builds 2026-09-04 00:53.11: Got resource from pool day11-builds 2026-09-04 00:53.11: [profile full] build goblint.2.4.0 2026-09-04 00:53.11: build goblint.2.4.0 (7ee3d0a27633) === DEPENDENCIES (66 transitive) === angstrom.0.16.1 1d048fc1c52a arg-complete.0.2.1 de8ec3f5dcdd astring.0.8.5 e44921a89735 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e batteries.3.11.0 a827fea25dcb bigstringaf.0.10.0 ba3e329de516 bos.0.3.0 e26de29091f1 camlp-streams.5.0.1 3c36670fb517 catapult.0.2 d1fc00f6c9cb catapult-file.0.2 c00383aa2a2d conf-autoconf.1 788c5c60b51c conf-gcc.1.0 ab0562dd03ad conf-gmp.5 eac5259e412f conf-perl.2 f520f20c9658 conf-pkg-config.5 74f50f3cfe72 cppo.1.8.0 7909ec5a0da4 cpu.2.0.0 711ef1d81fcf csexp.1.5.2 7ae86270eec9 ctypes.0.24.0 64e41f4b6420 dune.3.24.2 2b1606ec3deb dune-build-info.3.24.2 306270b8f7eb dune-configurator.3.24.2 8899edc94967 dune-private-libs.3.24.2 f9a382a33202 dune-site.3.24.2 00c6e492519a dyn.3.24.2 6796d513aa2b fileutils.0.6.6 d2bf463fa140 fmt.0.11.0 47423e062c99 fpath.0.7.3 bef3f6da869a fs-io.3.24.2 a04c832032a2 goblint-cil.2.0.4 e00fe25569c1 integers.0.8.0 a43c63010284 json-data-encoding.0.11 e80e675f4aa9 jsonrpc.1.27.0 8d19f4ea52a8 logs.0.10.0 41c5e03b327f num.1.6 76977f09e867 ocaml.5.4.1 f01fda733396 ocaml-base-compiler.5.4.1 d24c54dd04d7 ocaml-compiler.5.4.1 5e4d2e54ea9c ocaml-compiler-libs.v0.17.0 360d60d83069 ocaml-config.3 d59e78145b7c ocaml-syntax-shims.1.0.0 dcf99acef724 ocamlbuild.0.16.1 6a4fb30c9c05 ocamlfind.1.9.8 d0ee8c624584 ordering.3.24.2 21aac0b31b95 pp.2.0.0 8e2436aa43ef ppx_derivers.1.2.1 8f1b2407d098 ppx_deriving.6.1.3 871e43c5f4a1 ppx_deriving_hash.0.1.4 a3410b41527b ppx_deriving_yojson.3.10.0 0a613b2d448b ppxlib.0.38.0 0b0273ff01db qcheck-core.0.25 5164269b04e0 rresult.0.7.0 eee50b57a8bc seq.base 70bdce6caddc sexplib0.v0.17.0 8f44e28b1e1e sha.1.15.4 1a6cc1c1e3b1 stdlib-shims.0.3.0 fae7b4a678e6 stdune.3.24.2 91bbfdab540d stringext.1.6.0 2d743c13af30 top-closure.3.24.2 4eec63e25102 topkg.1.1.1 13ccc3945283 uri.4.4.0 3f468860f869 uuidm.0.9.10 f00e7452df53 yaml.3.2.0 4fa78e84df92 yojson.2.2.2 a258a4986065 zarith.1.14 10f02761c35e === STDOUT === Processing: [default: loading data] [goblint.2.4.0: dl] [goblint.2.4.0: extract] -> retrieved goblint.2.4.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.4.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_e0e540_dune/dune-pipe-action-_73d8e5_.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.4.0) -> compiled goblint.2.4.0 -> installed goblint.2.4.0 [WARNING] Opam packages conf-autoconf.1 and conf-pkg-config.5 depend on the following system packages that are no longer installed: autoconf pkg-config - conf-autoconf.1: depends on autoconf - conf-pkg-config.5: depends on pkg-config === STDERR === 2026-09-04 00:54.42: OK: build goblint.2.4.0 (runc: 75.2s, disk: 17KB) 2026-09-04 00:54.42: Job succeeded