Home|Differences with the last checks|Previous runs

Building on mint
Running Day10 job:
  Sub-command: health-check
  Commit SHA: 5bf570252bd9fee71938b828ca0b86573c1e3355
  Package: pilat.1.6
  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 pilat.1.6
Can't find all required versions.
Selected: base-threads.base base-unix.base conf-blas.1 conf-gmp.5
          conf-lapack.1 conf-pkg-config.4 csexp.1.5.2 dune.3.20.2
          dune-configurator.3.20.2 lacaml.11.1.1 menhir.20250912
          menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912
          ocaml-base-compiler.5.4.0 ocaml-config.3 ocaml-options-vanilla.1
          ocamlfind.1.9.8 why3.1.8.2 zarith.1.14 ocaml&pilat ocaml-variants
          ocaml-base-compiler ocaml-base-compiler
- frama-c -> (problem)
    Rejected candidates:
      frama-c.31.0: Requires pilat not(<= 1.6)
      frama-c.31.0~beta: Requires pilat not(<= 1.6)
      frama-c.30.0: Requires why3 >= 1.7.1 & < 1.8.0
      frama-c.30.0~beta: Requires ocaml >= 4.14.0 & < 5.3.0~
      frama-c.29.0: Requires ocaml >= 4.13.1 & < 5.3
      ...
- ocaml -> ocaml.5.3.0
    User requested = 5.3.0
- ocaml-compiler -> (problem)
    ocaml-base-compiler 5.4.0 requires = 5.4.0
    Rejected candidates:
      ocaml-compiler.5.5: Incompatible with restriction: = 5.4.0
      ocaml-compiler.5.4.0: Requires ocaml = 5.4.0
      ocaml-compiler.5.4.0~rc1: Incompatible with restriction: = 5.4.0
      ocaml-compiler.5.4.0~beta2: Incompatible with restriction: = 5.4.0
      ocaml-compiler.5.4.0~beta1: Incompatible with restriction: = 5.4.0
      ...
- ocaml-variants -> (problem)
    Rejected candidates:
      ocaml-variants.5.5.0+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.4.1+trunk: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.4.0+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.4.0~rc1+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ocaml-variants.5.4.0~beta2+options: In same conflict class (ocaml-core-compiler) as ocaml-base-compiler
      ...
- pilat -> pilat.1.6
    User requested = 1.6
[WARNING] no_solution
day10 command failed with exit code 1
Failed: Build failed