Home|Differences with the last checks|Previous runs

Building on doris.caelum.ci.dev
day10 dispatch:
  verb             : health-check
  opam-repository  : <default>
  opam-repo commit : 8d65b7fdbbdbf4008fe8980234943c3210665f4f
  mirror           : /var/cache/obuilder/ocluster/git/opam-repository.git-b322f7b18d276db68487afc3dfc5a5befdd45818
  cache-dir        : /var/cache/day10
  ocaml-version    : ocaml.5.3.0
  package          : goblint.2.8.0
  os-distribution  : debian
  os-version       : 13
  with-test        : false
+ 'day10' 'health-check' '--cache-dir' '/var/cache/day10' '--opam-repository' '/var/cache/obuilder/ocluster/git/opam-repository.git-b322f7b18d276db68487afc3dfc5a5befdd45818:8d65b7fdbbdbf4008fe8980234943c3210665f4f' '--ocaml-version' 'ocaml.5.3.0' '--arch' 'x86_64' '--os' 'linux' '--os-distribution' 'debian' '--os-version' '13' 'goblint.2.8.0'
[NOTE] Building dune.3.21.1
[NOTE] Building camlp-streams.5.0.1
[NOTE] Building catapult.0.2
[NOTE] Building cppo.1.8.0
[NOTE] Building cpu.2.0.0
[NOTE] Building csexp.1.5.2
[NOTE] Building domain_shims.0.1.0
[NOTE] Building dune-build-info.3.21.1
[NOTE] Building fileutils.0.6.6
[NOTE] Building fs-io.3.21.1
[NOTE] Building ocaml-compiler-libs.v0.17.0
[NOTE] Building ocaml-syntax-shims.1.0.0
[NOTE] Building ordering.3.21.1
[NOTE] Building patricia-tree.0.14.0
[NOTE] Building pp.2.0.0
[NOTE] Building ppx_derivers.1.2.1
[NOTE] Building qcheck-core.0.91
[NOTE] Building sexplib0.v0.17.0
[NOTE] Building stdlib-shims.0.3.0
[NOTE] Building stringext.1.6.0
[NOTE] Building thread-table.1.0.0
[NOTE] Building top-closure.3.21.1
[NOTE] Building yojson.2.2.2
[NOTE] Building arg-complete.0.2.1
[NOTE] Building batteries.3.11.0
[NOTE] Building catapult-file.0.2
[NOTE] Building domain-local-await.1.0.1
[NOTE] Building dune-configurator.3.21.1
[NOTE] Building dyn.3.21.1
[NOTE] Building integers.0.8.0
[NOTE] Building jsonrpc.1.27.0
[NOTE] Building ppxlib.0.38.0
[NOTE] Building sha.1.15.4
[NOTE] Building bigstringaf.0.10.0
[NOTE] Building cstruct.6.2.0
[NOTE] Building ctypes.0.24.0
[NOTE] Building ppx_blob.0.9.0
[NOTE] Building ppx_deriving.6.1.2
[NOTE] Building stdune.3.21.1
[NOTE] Building angstrom.0.16.1
[NOTE] Building dune-private-libs.3.21.1
[NOTE] Building hex.1.5.0
[NOTE] Building ppx_deriving_hash.0.1.3
[NOTE] Building ppx_deriving_yojson.3.10.0
[NOTE] Building dune-site.3.21.1
[NOTE] Building goblint-cil.2.1.0
[NOTE] Building uri.4.4.0
[NOTE] Building yaml.3.2.0
[NOTE] Building json-data-encoding.1.0.1
[NOTE] Building goblint.2.8.0
[NOTE] success
Job succeeded