1. github
2. ocaml
3. opam-repository
4. ad79ca

(for PR #29222)

Summary of errors

• (lint) (failed)
  • Error in dolmen.0.2: Opam lint warning 47: Synopsis should start with a capital and not end with a dot
  • Error in dolmen.0.1: Opam lint warning 47: Synopsis should start with a capital and not end with a dot
  • Error in catala.1.0.0: conf packages should always use the 'conf-' name prefix, the 'conf' flag, and the 'depext' field all together, but this package only has a non-empty 'depext' field
  • Error in catala.1.0.0~beta: conf packages should always use the 'conf-' name prefix, the 'conf' flag, and the 'depext' field all together, but this package only has a non-empty 'depext' field
  • Error in catala.1.0.0~alpha: conf packages should always use the 'conf-' name prefix, the 'conf' flag, and the 'depext' field all together, but this package only has a non-empty 'depext' field
  • Error in catala.0.10.0: conf packages should always use the 'conf-' name prefix, the 'conf' flag, and the 'depext' field all together, but this package only has a non-empty 'depext' field
  • Error in catala.0.9.0: conf packages should always use the 'conf-' name prefix, the 'conf' flag, and the 'depext' field all together, but this package only has a non-empty 'depext' field
• compilers
  • 4.08
    • archetype.0.1.10
      • lower-bounds (failed: The compilation of archetype.0.1.10 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.11
      • lower-bounds (failed: The compilation of archetype.0.1.11 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.12
      • lower-bounds (failed: The compilation of archetype.0.1.12 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.13
      • lower-bounds (failed: The compilation of archetype.0.1.13 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.14
      • lower-bounds (failed: The compilation of archetype.0.1.14 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
    • archetype.0.1.4
      • lower-bounds (failed: The compilation of archetype.0.1.4 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.5
      • lower-bounds (failed: The compilation of archetype.0.1.5 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.6
      • lower-bounds (failed: The compilation of archetype.0.1.6 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.8
      • lower-bounds (failed: The compilation of archetype.0.1.8 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.9
      • lower-bounds (failed: The compilation of archetype.0.1.9 failed at "dune build -p archetype -j 71".)
    • archetype.1.2.1
      • lower-bounds (failed: The compilation of archetype.1.2.1 failed at "dune build -p archetype -j 255".)
    • archetype.1.2.2
      • lower-bounds (failed: The compilation of archetype.1.2.2 failed at "dune build -p archetype -j 255".)
    • archetype.1.2.3
      • lower-bounds (failed: Ppx dependency on a non-ppx library "visitors.ppx". If "visitors.ppx")
    • archetype.1.2.4
      • lower-bounds (failed: Ppx dependency on a non-ppx library "visitors.ppx". If "visitors.ppx")
    • embedded_ocaml_templates.0.1.4
      • lower-bounds (failed: '.' is not a valid token)
    • embedded_ocaml_templates.0.2
      • lower-bounds (failed: Ppx dependency on a non-ppx library "sedlex.ppx". If "sedlex.ppx" is)
    • morbig.0.9
      • lower-bounds (failed: Unbound value top)
    • morbig.0.9.1
      • lower-bounds (failed: Unbound value top)
  • 4.09
    • archetype.0.1.10
      • lower-bounds (failed: The compilation of archetype.0.1.10 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.11
      • lower-bounds (failed: The compilation of archetype.0.1.11 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.12
      • lower-bounds (failed: The compilation of archetype.0.1.12 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.13
      • lower-bounds (failed: The compilation of archetype.0.1.13 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.14
      • lower-bounds (failed: The compilation of archetype.0.1.14 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.3
      • lower-bounds (failed: The compilation of archetype.0.1.3 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.4
      • lower-bounds (failed: The compilation of archetype.0.1.4 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.5
      • lower-bounds (failed: The compilation of archetype.0.1.5 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.6
      • lower-bounds (failed: The compilation of archetype.0.1.6 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.8
      • lower-bounds (failed: The compilation of archetype.0.1.8 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.9
      • lower-bounds (failed: The compilation of archetype.0.1.9 failed at "dune build -p archetype -j 255".)
    • archetype.1.2.1
      • lower-bounds (failed: The compilation of archetype.1.2.1 failed at "dune build -p archetype -j 71".)
    • archetype.1.2.2
      • lower-bounds (failed: The compilation of archetype.1.2.2 failed at "dune build -p archetype -j 255".)
    • archetype.1.2.3
      • lower-bounds (failed: Ppx dependency on a non-ppx library "visitors.ppx". If "visitors.ppx")
    • archetype.1.2.4
      • lower-bounds (failed: Ppx dependency on a non-ppx library "visitors.ppx". If "visitors.ppx")
    • embedded_ocaml_templates.0.1.4
      • lower-bounds (failed: '.' is not a valid token)
    • embedded_ocaml_templates.0.2
      • lower-bounds (failed: Ppx dependency on a non-ppx library "sedlex.ppx". If "sedlex.ppx" is)
    • morbig.0.9
      • lower-bounds (failed: Unbound value top)
    • morbig.0.9.1
      • lower-bounds (failed: Unbound value top)
  • 4.10
    • archetype.0.1.10
      • lower-bounds (failed: The compilation of archetype.0.1.10 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.11
      • lower-bounds (failed: The compilation of archetype.0.1.11 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.12
      • lower-bounds (failed: The compilation of archetype.0.1.12 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.13
      • lower-bounds (failed: The compilation of archetype.0.1.13 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.14
      • lower-bounds (failed: The compilation of archetype.0.1.14 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.3
      • lower-bounds (failed: why3.1.2.1 failed to build)
    • archetype.0.1.4
      • lower-bounds (failed: The compilation of archetype.0.1.4 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.5
      • lower-bounds (failed: The compilation of archetype.0.1.5 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.6
      • lower-bounds (failed: The compilation of archetype.0.1.6 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.8
      • lower-bounds (failed: The compilation of archetype.0.1.8 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.9
      • lower-bounds (failed: The compilation of archetype.0.1.9 failed at "dune build -p archetype -j 71".)
    • archetype.1.2.1
      • lower-bounds (failed: The compilation of archetype.1.2.1 failed at "dune build -p archetype -j 255".)
    • archetype.1.2.2
      • lower-bounds (failed: The compilation of archetype.1.2.2 failed at "dune build -p archetype -j 71".)
    • archetype.1.2.3
      • lower-bounds (failed: Ppx dependency on a non-ppx library "visitors.ppx". If "visitors.ppx")
    • archetype.1.2.4
      • lower-bounds (failed: Ppx dependency on a non-ppx library "visitors.ppx". If "visitors.ppx")
    • embedded_ocaml_templates.0.1.4
      • lower-bounds (failed: '.' is not a valid token)
    • embedded_ocaml_templates.0.2
      • lower-bounds (failed: Ppx dependency on a non-ppx library "sedlex.ppx". If "sedlex.ppx" is)
    • morbig.0.9
      • lower-bounds (failed: Unbound value top)
    • morbig.0.9.1
      • lower-bounds (failed: Unbound value top)
  • 4.11
    • archetype.0.1.10
      • lower-bounds (failed: The compilation of archetype.0.1.10 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.11
      • lower-bounds (failed: The compilation of archetype.0.1.11 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.12
      • lower-bounds (failed: The compilation of archetype.0.1.12 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.13
      • lower-bounds (failed: The compilation of archetype.0.1.13 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.14
      • lower-bounds (failed: The compilation of archetype.0.1.14 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.3
      • lower-bounds (failed: The compilation of archetype.0.1.3 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.4
      • lower-bounds (failed: The compilation of archetype.0.1.4 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.5
      • lower-bounds (failed: The compilation of archetype.0.1.5 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.6
      • lower-bounds (failed: The compilation of archetype.0.1.6 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.8
      • lower-bounds (failed: The compilation of archetype.0.1.8 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.9
      • lower-bounds (failed: The compilation of archetype.0.1.9 failed at "dune build -p archetype -j 71".)
    • archetype.1.2.1
      • lower-bounds (failed: The compilation of archetype.1.2.1 failed at "dune build -p archetype -j 255".)
    • archetype.1.2.2
      • lower-bounds (failed: The compilation of archetype.1.2.2 failed at "dune build -p archetype -j 71".)
    • archetype.1.2.3
      • lower-bounds (failed: Ppx dependency on a non-ppx library "visitors.ppx". If "visitors.ppx")
    • archetype.1.2.4
      • lower-bounds (failed: Ppx dependency on a non-ppx library "visitors.ppx". If "visitors.ppx")
    • embedded_ocaml_templates.0.1.4
      • lower-bounds (failed: '.' is not a valid token)
    • embedded_ocaml_templates.0.2
      • lower-bounds (failed: The compilation of embedded_ocaml_templates.0.2 failed at "dune build -p embedded_ocaml_templates -j 255".)
    • morbig.0.9
      • lower-bounds (failed: Unbound value top)
    • morbig.0.9.1
      • lower-bounds (failed: Unbound value top)
  • 4.12
    • archetype.0.1.10
      • lower-bounds (failed: The compilation of archetype.0.1.10 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.11
      • lower-bounds (failed: The compilation of archetype.0.1.11 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.12
      • lower-bounds (failed: The compilation of archetype.0.1.12 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.13
      • lower-bounds (failed: The compilation of archetype.0.1.13 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.14
      • lower-bounds (failed: The compilation of archetype.0.1.14 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.3
      • lower-bounds (failed: The compilation of archetype.0.1.3 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.4
      • lower-bounds (failed: The compilation of archetype.0.1.4 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.5
      • lower-bounds (failed: The compilation of archetype.0.1.5 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.6
      • lower-bounds (failed: The compilation of archetype.0.1.6 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.8
      • lower-bounds (failed: The compilation of archetype.0.1.8 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.9
      • lower-bounds (failed: The compilation of archetype.0.1.9 failed at "dune build -p archetype -j 71".)
    • archetype.1.2.1
      • lower-bounds (failed: The compilation of archetype.1.2.1 failed at "dune build -p archetype -j 71".)
    • archetype.1.2.2
      • lower-bounds (failed: The compilation of archetype.1.2.2 failed at "dune build -p archetype -j 255".)
    • archetype.1.2.3
      • lower-bounds (failed: The compilation of archetype.1.2.3 failed at "dune build -p archetype -j 71 @install".)
    • archetype.1.2.4
      • lower-bounds (failed: The compilation of archetype.1.2.4 failed at "dune build -p archetype -j 255 @install".)
    • embedded_ocaml_templates.0.1.4
      • lower-bounds (failed: '.' is not a valid token)
    • embedded_ocaml_templates.0.2
      • lower-bounds (failed: The compilation of embedded_ocaml_templates.0.2 failed at "dune build -p embedded_ocaml_templates -j 255".)
    • morbig.0.9
      • lower-bounds (failed: Unbound value top)
    • morbig.0.9.1
      • lower-bounds (failed: Unbound value top)
  • 4.13
    • archetype.0.1.10
      • lower-bounds (failed: The compilation of archetype.0.1.10 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.11
      • lower-bounds (failed: The compilation of archetype.0.1.11 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.12
      • lower-bounds (failed: The compilation of archetype.0.1.12 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.13
      • lower-bounds (failed: The compilation of archetype.0.1.13 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.14
      • lower-bounds (failed: The compilation of archetype.0.1.14 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.3
      • lower-bounds (failed: The compilation of archetype.0.1.3 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.4
      • lower-bounds (failed: The compilation of archetype.0.1.4 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.5
      • lower-bounds (failed: The compilation of archetype.0.1.5 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.6
      • lower-bounds (failed: The compilation of archetype.0.1.6 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.8
      • lower-bounds (failed: The compilation of archetype.0.1.8 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.9
      • lower-bounds (failed: The compilation of archetype.0.1.9 failed at "dune build -p archetype -j 71".)
    • archetype.1.2.1
      • lower-bounds (failed: The compilation of archetype.1.2.1 failed at "dune build -p archetype -j 255".)
    • archetype.1.2.2
      • lower-bounds (failed: The compilation of archetype.1.2.2 failed at "dune build -p archetype -j 255".)
    • archetype.1.2.3
      • lower-bounds (failed: The compilation of archetype.1.2.3 failed at "dune build -p archetype -j 71 @install".)
    • archetype.1.2.4
      • lower-bounds (failed: The compilation of archetype.1.2.4 failed at "dune build -p archetype -j 71 @install".)
    • embedded_ocaml_templates.0.1.4
      • lower-bounds (failed: '.' is not a valid token)
    • embedded_ocaml_templates.0.2
      • lower-bounds (failed: The compilation of embedded_ocaml_templates.0.2 failed at "dune build -p embedded_ocaml_templates -j 255".)
    • morbig.0.9
      • lower-bounds (failed: Unbound value top)
    • morbig.0.9.1
      • lower-bounds (failed: Unbound value top)
  • 4.14
    • archetype.0.1.10
      • lower-bounds (failed: The compilation of archetype.0.1.10 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.11
      • lower-bounds (failed: The compilation of archetype.0.1.11 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.12
      • lower-bounds (failed: The compilation of archetype.0.1.12 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.13
      • lower-bounds (failed: The compilation of archetype.0.1.13 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.14
      • lower-bounds (failed: The compilation of archetype.0.1.14 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.3
      • lower-bounds (failed: The compilation of archetype.0.1.3 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.4
      • lower-bounds (failed: The compilation of archetype.0.1.4 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.5
      • lower-bounds (failed: The compilation of archetype.0.1.5 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.6
      • lower-bounds (failed: The compilation of archetype.0.1.6 failed at "dune build -p archetype -j 71".)
    • archetype.0.1.8
      • lower-bounds (failed: The compilation of archetype.0.1.8 failed at "dune build -p archetype -j 255".)
    • archetype.0.1.9
      • lower-bounds (failed: The compilation of archetype.0.1.9 failed at "dune build -p archetype -j 71".)
    • archetype.1.2.1
      • lower-bounds (failed: The compilation of archetype.1.2.1 failed at "dune build -p archetype -j 71".)
    • archetype.1.2.2
      • lower-bounds (failed: The compilation of archetype.1.2.2 failed at "dune build -p archetype -j 255".)
    • archetype.1.2.3
      • lower-bounds (failed: The compilation of archetype.1.2.3 failed at "dune build -p archetype -j 71 @install".)
    • archetype.1.2.4
      • lower-bounds (failed: The compilation of archetype.1.2.4 failed at "dune build -p archetype -j 255 @install".)
    • dolmen.0.10
      • revdeps
        • frama-c-metacsl.0.1 (failed: frama-c.22.0 failed to build)
        • frama-c-metacsl.0.4 (failed: frama-c.26.1 failed to build)
        • frama-c.22.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
        • frama-c.24.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
        • frama-c.25.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
        • frama-c.25.0~beta (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
        • frama-c.26.0 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
        • frama-c.26.0~beta (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
        • frama-c.26.1 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
        • frama-c.28.0 (failed: The compilation of frama-c.28.0 failed at "dune build -j255 @ptests_config".)
        • frama-c.28.0~beta (failed: The compilation of frama-c.28.0~beta failed at "dune build -j255 @ptests_config".)
        • frama-c.28.1 (failed: The compilation of frama-c.28.1 failed at "dune build -j255 @ptests_config".)
        • frama-c.29.0 (failed: The compilation of frama-c.29.0 failed at "dune build -j71 @ptests_config".)
        • frama-c.29.0~beta (failed: The compilation of frama-c.29.0~beta failed at "dune build -j71 @ptests_config".)
        • frama-c.30.0 (failed: The compilation of frama-c.30.0 failed at "dune build -j255 @ptests_config".)
        • frama-c.30.0~beta (failed: The compilation of frama-c.30.0~beta failed at "dune build -j255 @ptests_config".)
        • frama-clang.0.0.15 (failed: 'stack' in namespace 'std' does not name a template type)
        • frama-clang.0.0.16 (failed: 'stack' in namespace 'std' does not name a template type)
        • frama-clang.0.0.17 (failed: 'stack' in namespace 'std' does not name a template type)
        • frama-clang.0.0.17~beta (failed: 'stack' in namespace 'std' does not name a template type)
        • pilat.1.6 (failed: frama-c.22.0 failed to build)
    • dolmen.0.9
      • revdeps
        • frama-c-metacsl.0.1 (failed: frama-c.22.0 failed to build)
        • frama-c-metacsl.0.4 (failed: frama-c.26.1 failed to build)
        • frama-c.22.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
        • frama-c.24.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
        • frama-c.25.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
        • frama-c.25.0~beta (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
        • frama-c.26.0 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
        • frama-c.26.0~beta (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
        • frama-c.26.1 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
        • frama-c.28.0 (failed: The compilation of frama-c.28.0 failed at "dune build -j71 @ptests_config".)
        • frama-c.28.0~beta (failed: The compilation of frama-c.28.0~beta failed at "dune build -j255 @ptests_config".)
        • frama-c.28.1 (failed: The compilation of frama-c.28.1 failed at "dune build -j255 @ptests_config".)
        • frama-c.29.0 (failed: The compilation of frama-c.29.0 failed at "dune build -j255 @ptests_config".)
        • frama-c.29.0~beta (failed: The compilation of frama-c.29.0~beta failed at "dune build -j255 @ptests_config".)
        • frama-c.30.0 (failed: The compilation of frama-c.30.0 failed at "dune build -j255 @ptests_config".)
        • frama-c.30.0~beta (failed: The compilation of frama-c.30.0~beta failed at "dune build -j255 @ptests_config".)
        • frama-clang.0.0.15 (failed: 'stack' in namespace 'std' does not name a template type)
        • frama-clang.0.0.16 (failed: 'stack' in namespace 'std' does not name a template type)
        • frama-clang.0.0.17 (failed: 'stack' in namespace 'std' does not name a template type)
        • frama-clang.0.0.17~beta (failed: 'stack' in namespace 'std' does not name a template type)
        • pilat.1.6 (failed: frama-c.22.0 failed to build)
    • embedded_ocaml_templates.0.1.4
      • lower-bounds (failed: '.' is not a valid token)
    • embedded_ocaml_templates.0.2
      • lower-bounds (failed: The compilation of embedded_ocaml_templates.0.2 failed at "dune build -p embedded_ocaml_templates -j 71".)
    • morbig.0.9
      • lower-bounds (failed: Unbound value top)
    • morbig.0.9.1
      • lower-bounds (failed: Unbound value top)
  • 5.0
    • morbig.0.9 (failed: The compilation of morbig.0.9 failed at "make".)
    • morbig.0.9.1 (failed: The compilation of morbig.0.9.1 failed at "make".)
  • 5.4
    • dolmen.0.10
      • revdeps
        • frama-c.31.0 (failed: The compilation of frama-c.31.0 failed at "dune build -j255 @ptests_config".)
        • frama-c.31.0~beta (failed: The compilation of frama-c.31.0~beta failed at "dune build -j71 @ptests_config".)
    • dolmen.0.9
      • revdeps
        • alt-ergo.2.5.1 (failed: The compilation of alt-ergo.2.5.1 failed at "dune build -p alt-ergo -j 71 --promote-install-files=false @install @runtest".)
        • alt-ergo.2.5.2 (failed: The compilation of alt-ergo.2.5.2 failed at "dune build -p alt-ergo -j 255 --promote-install-files=false @install @runtest".)
        • frama-c.31.0 (failed: The compilation of frama-c.31.0 failed at "dune build -j71 @ptests_config".)
        • frama-c.31.0~beta (failed: The compilation of frama-c.31.0~beta failed at "dune build -j255 @ptests_config".)
    • unionFind.20250818
      • revdeps
        • frama-c.31.0 (failed: The compilation of frama-c.31.0 failed at "dune build -j71 @ptests_config".)
        • frama-c.31.0~beta (failed: The compilation of frama-c.31.0~beta failed at "dune build -j71 @ptests_config".)
• distributions
  • alpine-3.22-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
    • embedded_ocaml_templates.0.1.4 (failed: core.v0.14.1 failed to build)
    • embedded_ocaml_templates.0.2 (failed: core.v0.14.1 failed to build)
  • archlinux-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
    • morbig.0.9 (failed: The compilation of morbig.0.9 failed at "make".)
    • morbig.0.9.1 (failed: The compilation of morbig.0.9.1 failed at "make".)
  • centos-10-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
  • debian-testing-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
  • debian-unstable-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
  • fedora-42-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
  • fedora-43-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
    • touist.3.5.0
      • tests (failed: touist:10:real-size tests:0:with --sat --solve:1:sat/minisat_clause_add_unsat.touist, should be unsat.)
  • opensuse-15.6-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
  • opensuse-16.0-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
  • opensuse-tumbleweed-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
  • ubuntu-22.04-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
  • ubuntu-25.04-ocaml-4.14
    • archetype.0.1.10 (failed: ppx_deriving.5.2.1 failed to build)
    • archetype.0.1.6 (failed: ppx_deriving.5.2.1 failed to build)
    • archetype.0.1.9 (failed: ppx_deriving.5.2.1 failed to build)
    • catala.0.5.0 (failed: js_of_ocaml-compiler.4.0.0 failed to build)
  • ubuntu-25.10-ocaml-4.14
    • archetype.0.1.10 (failed: ppx_deriving.5.2.1 failed to build)
    • archetype.0.1.3 (failed: ppx_deriving.5.2.1 why3.1.2.1 failed to build)
    • archetype.0.1.4 (failed: ppx_deriving.5.2.1 failed to build)
    • archetype.0.1.6 (failed: ppx_deriving.5.2.1 failed to build)
    • catala.0.5.0 (failed: js_of_ocaml-compiler.4.0.0 failed to build)
    • touist.3.5.0 (failed: This expression has type)
• extras
  • arm32-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
  • ocaml-4.14-afl
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
  • ocaml-4.14-flambda
    • archetype.1.2.13 (failed: exception Stack overflow)
    • archetype.1.2.14 (failed: exception Stack overflow)
    • archetype.1.2.15 (failed: exception Stack overflow)
    • archetype.1.2.16 (failed: exception Stack overflow)
    • archetype.1.3.0 (failed: exception Stack overflow)
    • archetype.1.3.1 (failed: exception Stack overflow)
    • archetype.1.3.2 (failed: exception Stack overflow)
    • archetype.1.3.3 (failed: exception Stack overflow)
    • archetype.1.3.4 (failed: exception Stack overflow)
    • archetype.1.3.5 (failed: exception Stack overflow)
    • archetype.1.3.6 (failed: exception Stack overflow)
    • archetype.1.4.0 (failed: exception Stack overflow)
    • archetype.1.4.1 (failed: exception Stack overflow)
    • archetype.1.5.0 (failed: exception Stack overflow)
    • archetype.1.5.1 (failed: exception Stack overflow)
    • archetype.1.5.2 (failed: exception Stack overflow)
    • archetype.1.5.3 (failed: exception Stack overflow)
  • ocaml-4.14-flambda-fp
    • archetype.1.2.13 (failed: exception Stack overflow)
    • archetype.1.2.14 (failed: exception Stack overflow)
    • archetype.1.2.15 (failed: exception Stack overflow)
    • archetype.1.2.16 (failed: exception Stack overflow)
    • archetype.1.3.0 (failed: exception Stack overflow)
    • archetype.1.3.1 (failed: exception Stack overflow)
    • archetype.1.3.2 (failed: exception Stack overflow)
    • archetype.1.3.3 (failed: exception Stack overflow)
    • archetype.1.3.4 (failed: exception Stack overflow)
    • archetype.1.3.5 (failed: exception Stack overflow)
    • archetype.1.3.6 (failed: exception Stack overflow)
    • archetype.1.4.0 (failed: exception Stack overflow)
    • archetype.1.4.1 (failed: exception Stack overflow)
    • archetype.1.5.0 (failed: exception Stack overflow)
    • archetype.1.5.1 (failed: exception Stack overflow)
    • archetype.1.5.2 (failed: exception Stack overflow)
    • archetype.1.5.3 (failed: exception Stack overflow)
  • opam-2.0-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
    • archetype.1.2.10
      • tests (failed: No solution for archetype.1.2.10: The actions to process have cyclic dependencies:)
    • archetype.1.2.11
      • tests (failed: No solution for archetype.1.2.11: The actions to process have cyclic dependencies:)
    • archetype.1.2.12
      • tests (failed: No solution for archetype.1.2.12: The actions to process have cyclic dependencies:)
    • archetype.1.2.13
      • tests (failed: No solution for archetype.1.2.13: The actions to process have cyclic dependencies:)
    • archetype.1.2.14
      • tests (failed: No solution for archetype.1.2.14: The actions to process have cyclic dependencies:)
    • archetype.1.2.15
      • tests (failed: No solution for archetype.1.2.15: The actions to process have cyclic dependencies:)
    • archetype.1.2.16
      • tests (failed: No solution for archetype.1.2.16: The actions to process have cyclic dependencies:)
    • archetype.1.2.7
      • tests (failed: No solution for archetype.1.2.7: The actions to process have cyclic dependencies:)
    • archetype.1.2.8
      • tests (failed: No solution for archetype.1.2.8: The actions to process have cyclic dependencies:)
    • archetype.1.2.9
      • tests (failed: No solution for archetype.1.2.9: The actions to process have cyclic dependencies:)
    • archetype.1.3.0
      • tests (failed: No solution for archetype.1.3.0: The actions to process have cyclic dependencies:)
    • archetype.1.3.1
      • tests (failed: No solution for archetype.1.3.1: The actions to process have cyclic dependencies:)
    • archetype.1.3.2
      • tests (failed: No solution for archetype.1.3.2: The actions to process have cyclic dependencies:)
    • archetype.1.3.3
      • tests (failed: No solution for archetype.1.3.3: The actions to process have cyclic dependencies:)
    • archetype.1.3.4
      • tests (failed: No solution for archetype.1.3.4: The actions to process have cyclic dependencies:)
    • archetype.1.3.5
      • tests (failed: No solution for archetype.1.3.5: The actions to process have cyclic dependencies:)
    • archetype.1.3.6
      • tests (failed: No solution for archetype.1.3.6: The actions to process have cyclic dependencies:)
    • archetype.1.4.0
      • tests (failed: No solution for archetype.1.4.0: The actions to process have cyclic dependencies:)
    • archetype.1.4.1
      • tests (failed: No solution for archetype.1.4.1: The actions to process have cyclic dependencies:)
    • archetype.1.4.2 (failed: Sorry, resolution of the request timed out.)
    • archetype.1.4.3 (failed: Sorry, resolution of the request timed out.)
    • archetype.1.5.0
      • tests (failed: Sorry, resolution of the request timed out.)
    • archetype.1.5.1 (failed: Sorry, resolution of the request timed out.)
    • archetype.1.5.2 (failed: Sorry, resolution of the request timed out.)
    • archetype.1.5.3
      • tests (failed: Sorry, resolution of the request timed out.)
    • catala.0.10.0
      • tests (failed: No solution for catala.0.10.0: The actions to process have cyclic dependencies:)
    • catala.0.3.0
      • tests (failed: No solution for catala.0.3.0: The actions to process have cyclic dependencies:)
    • catala.0.5.0
      • tests (failed: No solution for catala.0.5.0: The actions to process have cyclic dependencies:)
    • catala.0.6.0
      • tests (failed: No solution for catala.0.6.0: The actions to process have cyclic dependencies:)
    • catala.0.7.0
      • tests (failed: No solution for catala.0.7.0: The actions to process have cyclic dependencies:)
    • catala.0.8.0
      • tests (failed: No solution for catala.0.8.0: The actions to process have cyclic dependencies:)
    • catala.0.9.0
      • tests (failed: No solution for catala.0.9.0: The actions to process have cyclic dependencies:)
    • catala.1.0.0
      • tests (failed: No solution for catala.1.0.0: The actions to process have cyclic dependencies:)
    • catala.1.0.0~alpha
      • tests (failed: In the opam file for catala.1.0.0~alpha:)
    • catala.1.0.0~beta
      • tests (failed: In the opam file for catala.1.0.0~beta:)
  • opam-2.0-ocaml-5.4
    • archetype.1.5.3
      • tests (failed: No solution for archetype.1.5.3: The actions to process have cyclic dependencies:)
    • dolmen.0.10
      • tests (failed: No solution for dolmen.0.10: The actions to process have cyclic dependencies:)
    • dolmen.0.7
      • tests (failed: No solution for dolmen.0.7: The actions to process have cyclic dependencies:)
    • dolmen.0.8
      • tests (failed: No solution for dolmen.0.8: The actions to process have cyclic dependencies:)
    • dolmen.0.8.1
      • tests (failed: No solution for dolmen.0.8.1: The actions to process have cyclic dependencies:)
    • dolmen.0.9
      • tests (failed: No solution for dolmen.0.9: The actions to process have cyclic dependencies:)
    • morbig.0.11.0
      • tests (failed: No solution for morbig.0.11.0: The actions to process have cyclic dependencies:)
  • opam-2.1-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
  • opam-2.3-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
  • opam-2.4-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
  • opam-2.5-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
  • ppc64-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
  • riscv64-ocaml-4.14
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
• freebsd (experimental)
  • freebsd-14.3-ocaml-4.14-amd64 (experimental)
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
    • touist.3.0.0 (failed: The compilation of touist.3.0.0 failed at "ocaml setup.ml -build".)
    • touist.3.1.0 (failed: The compilation of touist.3.1.0 failed at "ocaml setup.ml -build".)
    • touist.3.2.0 (failed: The compilation of touist.3.2.0 failed at "ocaml setup.ml -build".)
    • touist.3.2.1 (failed: The compilation of touist.3.2.1 failed at "ocaml setup.ml -build".)
• macos
  • macos-homebrew-ocaml-4.14-amd64 (experimental)
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
  • macos-homebrew-ocaml-4.14-arm64 (experimental)
    • archetype.0.1.3 (failed: why3.1.2.1 failed to build)
    • archetype.1.2.9 (failed: Cancelled)