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

(for PR #28478)

Summary of errors

• (lint) (failed)
  • Error in goblint-cil.2.0.8: 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.12
    • goblint-cil.2.0.8
      • lower-bounds (failed: conf-gmp.1 conf-perl.1 dune.2.9.3 ocamlfind.1.8.1 ppx_derivers.1.0 failed to build)
  • 4.13
    • goblint-cil.2.0.8
      • lower-bounds (failed: conf-gmp.1 conf-perl.1 dune.2.9.3 ocaml-compiler-libs.v0.11.0 ocamlfind.1.9.1 ppx_derivers.1.0 failed to build)
  • 4.14
    • goblint-cil.2.0.8
      • lower-bounds (failed: conf-gmp.1 conf-perl.1 dune.2.9.3 ocaml-compiler-libs.v0.11.0 ocamlfind.1.9.1 ppx_derivers.1.0 failed to build)
  • 5.0
    • goblint-cil.2.0.8
      • lower-bounds (failed: conf-gmp.1 conf-perl.1 dune.3.5.0 ocamlfind.1.9.6 failed to build)
  • 5.1
    • goblint-cil.2.0.8
      • lower-bounds (failed: conf-gmp.1 conf-perl.1 dune.3.5.0 ocamlfind.1.9.6 failed to build)
  • 5.2
    • goblint-cil.2.0.8
      • lower-bounds (failed: conf-gmp.1 conf-perl.1 dune.3.5.0 ocamlfind.1.9.6 failed to build)
  • 5.3
    • goblint-cil.2.0.8
      • lower-bounds (failed: conf-gmp.1 conf-perl.1 dune.3.12.1 ocamlfind.1.9.6 failed to build)
  • 5.4~alpha1
    • goblint-cil.2.0.8
      • lower-bounds (failed: conf-gmp.1 conf-perl.1 dune.3.18.2 ocamlfind.1.9.6 failed to build)
• extras
  • arm64-ocaml-4.14
    • goblint-cil.2.0.8
      • tests (failed: Cabs2cil had some errors)
  • arm64-ocaml-5.3
    • goblint-cil.2.0.8
      • tests (failed: Cabs2cil had some errors)
• freebsd (experimental)
  • freebsd-14.2-ocaml-4.14-amd64 (experimental)
    • goblint-cil.2.0.8 (failed: Cancelled)
  • freebsd-14.2-ocaml-5.3-amd64 (experimental)
    • goblint-cil.2.0.8 (failed: Cancelled)