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 : 717c44ec9929ffc34a7a733dde6f29aa59156738
  mirror           : /var/cache/obuilder/ocluster/git/opam-repository.git-b322f7b18d276db68487afc3dfc5a5befdd45818
  cache-dir        : /var/cache/day10
  ocaml-version    : ocaml.5.3.0
  package          : proverifdoc.2.05
  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:717c44ec9929ffc34a7a733dde6f29aa59156738' '--ocaml-version' 'ocaml.5.3.0' '--arch' 'x86_64' '--os' 'linux' '--os-distribution' 'debian' '--os-version' '13' 'proverifdoc.2.05'
digraph opam {

}

[NOTE] Building proverifdoc.2.05
Processing: [default: loading data]
[proverifdoc.2.05: http]
[proverifdoc.2.05: extract]
-> retrieved proverifdoc.2.05  (https://proverif.inria.fr/proverifdoc2.05.tar.gz)
[proverifdoc: ./installdoc]
+ /home/opam/.opam/default/.opam-switch/build/proverifdoc.2.05/./installdoc "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/proverifdoc.2.05)
-> installed proverifdoc.2.05

[NOTE] success
Job succeeded