Home|Differences with the last checks|Previous runs

Building on basil
Running Day10 job:
  Sub-command: health-check
  Commit SHA: 5bf570252bd9fee71938b828ca0b86573c1e3355
  Package: coq-native.1
  OCaml version: ocaml.4.13.1
  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.4.13.1 --log coq-native.1
digraph opam {
  "coq-native.1" -> "rocq-native.1";
}

Layer rocq-native.1: /var/lib/day10/cache/debian-12-x86_64/3783938109085245218918e9116819a7
Processing: [default: loading data]
-> installed rocq-native.1

Layer coq-native.1: /var/lib/day10/cache/debian-12-x86_64/410e56878ba99d6d95671def699b1403
Processing: [default: loading data]
-> installed coq-native.1

[NOTE] success
Job succeeded