opam-health-check log - proverifdoc.2.05 on 5.3

Home|Differences with the last checks|Previous runs

Building on mint
Running Day10 job:
  Sub-command: health-check
  Commit SHA: 5bf570252bd9fee71938b828ca0b86573c1e3355
  Package: proverifdoc.2.05
  OCaml version: ocaml.5.3.0
  With test: false
Worktree already exists: /var/lib/day10/worktree-5bf570252bd9fee71938b828ca0b86573c1e3355
Executing: day10 health-check --cache-dir /var/lib/day10/cache --opam-repository /var/lib/day10/worktree-5bf570252bd9fee71938b828ca0b86573c1e3355 --ocaml-version ocaml.5.3.0 --log proverifdoc.2.05
digraph opam {

}

Layer proverifdoc.2.05: /var/lib/day10/cache/debian-13-x86_64/930c16e6347e3d97f60195c620a77826
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