2026-06-24 17:58.39: New job: build goblint.2.5.0 (8244f27c56cd)
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.5.0
2026-06-24 18:39.17: build goblint.2.5.0 (8244f27c56cd)
=== DEPENDENCIES (67 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.6                                  48f151f8ac5d
  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_blob.0.9.0                                     a64176f220a2
  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.5.0: dl]
[goblint.2.5.0: extract]
-> retrieved goblint.2.5.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.5.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_b7cf33_dune/dune-pipe-action-_806fe3_.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.5.0)
-> compiled  goblint.2.5.0
-> installed goblint.2.5.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:41.03: OK: build goblint.2.5.0 (runc: 87.7s, disk: 17KB)
2026-06-24 18:41.03: Job succeeded