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 : 4817f2453c85025e66642c4d61e953167e350bd6
  mirror           : /var/cache/obuilder/ocluster/git/opam-repository.git-b322f7b18d276db68487afc3dfc5a5befdd45818
  cache-dir        : /var/cache/day10
  ocaml-version    : ocaml.4.14.4
  package          : coq-native.1
  os-distribution  : debian
  os-version       : 13
  with-test        : false
+ 'day10' 'health-check' '--cache-dir' '/var/cache/day10' '--log' '--opam-repository' '/var/cache/obuilder/ocluster/git/opam-repository.git-b322f7b18d276db68487afc3dfc5a5befdd45818:4817f2453c85025e66642c4d61e953167e350bd6' '--ocaml-version' 'ocaml.4.14.4' '--arch' 'x86_64' '--os' 'linux' '--os-distribution' 'debian' '--os-version' '13' 'coq-native.1'
digraph opam {
  "coq-native.1" -> "rocq-native.1";
}

Processing: [default: loading data]
-> installed rocq-native.1

Processing: [default: loading data]
-> installed coq-native.1

[NOTE] success
Job succeeded