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

(not at the head of any monitored branch or PR)

Summary of errors

• compilers
  • 4.14
    • camlidl.1.13-1
      • revdeps
        • apron.v0.9.12 (failed: The compilation of apron.v0.9.12 failed at "make -j71".)
        • apron.v0.9.13 (failed: The compilation of apron.v0.9.13 failed at "make -j71".)
        • bddrand.2.71.10 (failed: polka.2.71.15 failed to build)
        • bddrand.2.71.15 (failed: polka.2.71.15 failed to build)
        • elina.1.0 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • elina.1.1 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • elina.1.3 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • elina.1.3.1 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • elina.1.3.2 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • hdfs.0.3 (failed: The compilation of hdfs.0.3 failed at "ocaml setup.ml -build".)
        • hdfs.0.4 (failed: The compilation of hdfs.0.4 failed at "ocaml setup.ml -build".)
        • lutin.2.71.10 (failed: polka.2.71.15 failed to build)
        • lutin.2.71.15 (failed: polka.2.71.15 failed to build)
        • memcad.1.1.0 (failed: conf-libclang.12 failed to build)
        • mlcuddidl.3.0.6 (failed: assignment to 'value' {aka 'long int'} from 'void *' makes integer from pointer without a cast [-Wint-conversion])
        • mlcuddidl.3.0.7 (failed: assignment to 'value' {aka 'long int'} from 'void *' makes integer from pointer without a cast [-Wint-conversion])
        • mopsa.1.2 (failed: "languages.universal.numeric.relational.elinainst" is an invalid)
        • ocamlyices.0.7.0 (failed: Cannot find yices.)
        • ocamlyices.0.7.1 (failed: Cannot find yices.)
        • polka.2.71.10 (failed: passing argument 1 of 'poly_intersection_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • polka.2.71.15 (failed: passing argument 1 of 'poly_intersection_array' from incompatible pointer type [-Wincompatible-pointer-types])
  • 5.4
    • camlidl.1.13-1
      • revdeps
        • bddrand.2.71.10 (failed: polka.2.71.15 failed to build)
        • bddrand.2.71.15 (failed: polka.2.71.15 failed to build)
        • elina.1.0 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • elina.1.1 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • elina.1.3 (failed: assignment to 'bool (*)(opt_oct_mat_t *, ...)' {aka 'char (*)(opt_oct_mat_t *, ...)'} from incompatible pointer type 'bool (*)(opt_oct_mat_t *, int, int, bool)' {aka 'char (*)(opt_oct_mat_t *, int, int, char)'} [-Wincompatible-pointer-types])
        • elina.1.3.1 (failed: assignment to 'bool (*)(opt_oct_mat_t *, ...)' {aka 'char (*)(opt_oct_mat_t *, ...)'} from incompatible pointer type 'bool (*)(opt_oct_mat_t *, int, int, bool)' {aka 'char (*)(opt_oct_mat_t *, int, int, char)'} [-Wincompatible-pointer-types])
        • elina.1.3.2 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • ezdl.2.71.10 (failed: implicit declaration of function 'failwith'; did you mean 'caml_failwith'? [-Wimplicit-function-declaration])
        • lutin.2.71.10 (failed: polka.2.71.15 failed to build)
        • lutin.2.71.15 (failed: polka.2.71.15 failed to build)
        • mopsa.1.2 (failed: "languages.universal.numeric.relational.elinainst" is an invalid)
        • ocamlyices.0.7.0 (failed: Cannot find yices.)
        • ocamlyices.0.7.1 (failed: Cannot find yices.)
        • polka.2.71.10 (failed: implicit declaration of function 'failwith'; did you mean 'caml_failwith'? [-Wimplicit-function-declaration])
        • polka.2.71.15 (failed: passing argument 1 of 'poly_intersection_array' from incompatible pointer type [-Wincompatible-pointer-types])

Main results

• (analysis) (aborted)
• (lint) (passed)
• compilers
  • 4.08
    • camlidl.1.13-1 (passed)
      • lower-bounds (passed)
  • 4.09
    • camlidl.1.13-1 (passed)
      • lower-bounds (passed)
  • 4.10
    • camlidl.1.13-1 (passed)
      • lower-bounds (passed)
  • 4.11
    • camlidl.1.13-1 (passed)
      • lower-bounds (passed)
  • 4.12
    • camlidl.1.13-1 (passed)
      • lower-bounds (passed)
  • 4.13
    • camlidl.1.13-1 (passed)
      • lower-bounds (passed)
  • 4.14
    • camlidl.1.13-1 (passed)
      • lower-bounds (passed)
  • 5.0
    • camlidl.1.13-1 (passed)
      • lower-bounds (passed)
  • 5.1
    • camlidl.1.13-1 (passed)
      • lower-bounds (passed)
  • 5.2
    • camlidl.1.13-1 (passed)
      • lower-bounds (passed)
  • 5.3
    • camlidl.1.13-1 (passed)
      • lower-bounds (passed)
  • 5.4
    • camlidl.1.13-1 (passed)
      • lower-bounds (passed)
• distributions
  • alpine-3.22-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • alpine-3.22-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • archlinux-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • archlinux-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • centos-10-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • centos-10-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • centos-9-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • centos-9-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • debian-12-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • debian-12-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • debian-testing-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • debian-testing-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • debian-unstable-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • debian-unstable-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • fedora-42-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • fedora-42-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • fedora-43-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • fedora-43-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • opensuse-15.6-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • opensuse-15.6-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • opensuse-16.0-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • opensuse-16.0-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • opensuse-tumbleweed-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • opensuse-tumbleweed-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • ubuntu-22.04-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • ubuntu-22.04-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • ubuntu-24.04-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • ubuntu-24.04-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • ubuntu-25.04-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • ubuntu-25.04-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • ubuntu-25.10-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • ubuntu-25.10-ocaml-5.4
    • camlidl.1.13-1 (passed)
• extras
  • arm32-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • arm32-ocaml-5.4
    • camlidl.1.13-1 (failed: [SKIP] Package not available)
  • arm64-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • arm64-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • ocaml-4.14-afl
    • camlidl.1.13-1 (passed)
  • ocaml-4.14-flambda
    • camlidl.1.13-1 (passed)
  • ocaml-4.14-flambda-fp
    • camlidl.1.13-1 (passed)
  • ocaml-4.14-fp
    • camlidl.1.13-1 (passed)
  • ocaml-4.14-nnp
    • camlidl.1.13-1 (passed)
  • ocaml-4.14-nnpchecker
    • camlidl.1.13-1 (passed)
  • ocaml-4.14-no-flat-float-array
    • camlidl.1.13-1 (passed)
  • ocaml-5.4-afl
    • camlidl.1.13-1 (passed)
  • ocaml-5.4-flambda
    • camlidl.1.13-1 (passed)
  • ocaml-5.4-no-flat-float-array
    • camlidl.1.13-1 (passed)
  • opam-2.0-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • opam-2.0-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • opam-2.1-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • opam-2.1-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • opam-2.2-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • opam-2.2-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • opam-2.3-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • opam-2.3-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • opam-2.4-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • opam-2.4-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • opam-2.5-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • opam-2.5-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • ppc64-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • ppc64-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • riscv64-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • riscv64-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • s390x-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • s390x-ocaml-5.4
    • camlidl.1.13-1 (passed)
  • x86_32-ocaml-4.14
    • camlidl.1.13-1 (passed)
  • x86_32-ocaml-5.4
    • camlidl.1.13-1 (failed: [SKIP] Package not available)
• freebsd (experimental)
  • freebsd-14.3-ocaml-4.14-amd64 (experimental)
    • camlidl.1.13-1 (passed)
  • freebsd-14.3-ocaml-5.4-amd64 (experimental)
    • camlidl.1.13-1 (passed)
• macos
  • macos-homebrew-ocaml-4.14-amd64 (experimental)
    • camlidl.1.13-1 (passed)
  • macos-homebrew-ocaml-4.14-arm64 (experimental)
    • camlidl.1.13-1 (passed)
  • macos-homebrew-ocaml-5.4-amd64 (experimental)
    • camlidl.1.13-1 (passed)
  • macos-homebrew-ocaml-5.4-arm64 (experimental)
    • camlidl.1.13-1 (passed)

Reverse dependencies

• compilers
  • 4.14
    • camlidl.1.13-1 (passed)
      • revdeps (passed)
        • absolute.0.1 (passed)
        • absolute.0.2 (passed)
        • absolute.0.3 (passed)
        • apron.v0.9.12 (failed: The compilation of apron.v0.9.12 failed at "make -j71".)
        • apron.v0.9.13 (failed: The compilation of apron.v0.9.13 failed at "make -j71".)
        • apron.v0.9.14 (passed)
        • apron.v0.9.14~beta.2 (passed)
        • apron.v0.9.15 (passed)
        • apronext.1.0 (passed)
        • apronext.1.0.1 (passed)
        • apronext.1.0.2 (passed)
        • apronext.1.0.3 (passed)
        • apronext.1.0.4 (passed)
        • bddrand.2.71.10 (failed: polka.2.71.15 failed to build)
        • bddrand.2.71.15 (failed: polka.2.71.15 failed to build)
        • elina.1.0 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • elina.1.1 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • elina.1.3 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • elina.1.3.1 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • elina.1.3.2 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • ezdl.2.71.10 (passed)
        • ezdl.2.71.15 (passed)
        • gbddml.2.71.10 (passed)
        • gbddml.2.71.15 (passed)
        • google-drive-ocamlfuse.0.7.32 (passed)
        • google-drive-ocamlfuse.0.8.0 (passed)
        • google-drive-ocamlfuse.0.8.1 (passed)
        • google-drive-ocamlfuse.0.8.2 (passed)
        • hdfs.0.3 (failed: The compilation of hdfs.0.3 failed at "ocaml setup.ml -build".)
        • hdfs.0.4 (failed: The compilation of hdfs.0.4 failed at "ocaml setup.ml -build".)
        • jasmin.2022.04.0 (passed)
        • jasmin.2022.09.0 (passed)
        • jasmin.2022.09.2 (passed)
        • jasmin.2022.09.3 (passed)
        • jasmin.2023.06.0 (passed)
        • jasmin.2023.06.1 (passed)
        • jasmin.2023.06.2 (passed)
        • jasmin.2023.06.3 (passed)
        • jasmin.2023.06.4 (passed)
        • jasmin.2024.07.0 (passed)
        • jasmin.2024.07.1 (passed)
        • jasmin.2024.07.2 (passed)
        • jasmin.2024.07.3 (passed)
        • jasmin.2025.02.0 (passed)
        • jasmin.2025.02.1 (passed)
        • jasmin.2025.06.0 (passed)
        • jasmin.2025.06.1 (passed)
        • jasmin.2025.06.2 (passed)
        • jasmin.2025.06.3 (passed)
        • jasmin.2026.03.0 (passed)
        • libabsolute.0.1 (passed)
        • lutin.2.71.10 (failed: polka.2.71.15 failed to build)
        • lutin.2.71.15 (failed: polka.2.71.15 failed to build)
        • memcad.1.1.0 (failed: conf-libclang.12 failed to build)
        • mlcuddidl.3.0.6 (failed: assignment to 'value' {aka 'long int'} from 'void *' makes integer from pointer without a cast [-Wint-conversion])
        • mlcuddidl.3.0.7 (failed: assignment to 'value' {aka 'long int'} from 'void *' makes integer from pointer without a cast [-Wint-conversion])
        • mlcuddidl.3.0.8 (passed)
        • mlgmpidl.1.2.11 (passed)
        • mlgmpidl.1.2.12 (passed)
        • mlgmpidl.1.2.13 (passed)
        • mlgmpidl.1.2.14 (passed)
        • mlgmpidl.1.2.15 (passed)
        • mlgmpidl.1.2.15-1 (passed)
        • mlgmpidl.1.3.0 (passed)
        • mopsa.1.2 (failed: "languages.universal.numeric.relational.elinainst" is an invalid)
        • ocamlfuse.2.7.1-cvs13 (passed)
        • ocamlfuse.2.7.2 (passed)
        • ocamlyices.0.7.0 (failed: Cannot find yices.)
        • ocamlyices.0.7.1 (failed: Cannot find yices.)
        • picasso.0.1 (passed)
        • picasso.0.2.0 (passed)
        • picasso.0.3.0 (passed)
        • picasso.0.4.0 (passed)
        • polka.2.71.10 (failed: passing argument 1 of 'poly_intersection_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • polka.2.71.15 (failed: passing argument 1 of 'poly_intersection_array' from incompatible pointer type [-Wincompatible-pointer-types])
  • 5.4
    • camlidl.1.13-1 (passed)
      • revdeps (passed)
        • absolute.0.1 (passed)
        • absolute.0.2 (passed)
        • absolute.0.3 (passed)
        • apron.v0.9.14 (passed)
        • apron.v0.9.14~beta.2 (passed)
        • apron.v0.9.15 (passed)
        • apronext.1.0 (passed)
        • apronext.1.0.1 (passed)
        • apronext.1.0.2 (passed)
        • apronext.1.0.3 (passed)
        • apronext.1.0.4 (passed)
        • bddrand.2.71.10 (failed: polka.2.71.15 failed to build)
        • bddrand.2.71.15 (failed: polka.2.71.15 failed to build)
        • elina.1.0 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • elina.1.1 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • elina.1.3 (failed: assignment to 'bool (*)(opt_oct_mat_t *, ...)' {aka 'char (*)(opt_oct_mat_t *, ...)'} from incompatible pointer type 'bool (*)(opt_oct_mat_t *, int, int, bool)' {aka 'char (*)(opt_oct_mat_t *, int, int, char)'} [-Wincompatible-pointer-types])
        • elina.1.3.1 (failed: assignment to 'bool (*)(opt_oct_mat_t *, ...)' {aka 'char (*)(opt_oct_mat_t *, ...)'} from incompatible pointer type 'bool (*)(opt_oct_mat_t *, int, int, bool)' {aka 'char (*)(opt_oct_mat_t *, int, int, char)'} [-Wincompatible-pointer-types])
        • elina.1.3.2 (failed: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types])
        • ezdl.2.71.10 (failed: implicit declaration of function 'failwith'; did you mean 'caml_failwith'? [-Wimplicit-function-declaration])
        • ezdl.2.71.15 (passed)
        • gbddml.2.71.15 (passed)
        • google-drive-ocamlfuse.0.7.32 (passed)
        • google-drive-ocamlfuse.0.8.0 (passed)
        • google-drive-ocamlfuse.0.8.1 (passed)
        • google-drive-ocamlfuse.0.8.2 (passed)
        • jasmin.2023.06.2 (passed)
        • jasmin.2023.06.3 (passed)
        • jasmin.2023.06.4 (passed)
        • jasmin.2024.07.0 (passed)
        • jasmin.2024.07.1 (passed)
        • jasmin.2024.07.2 (passed)
        • jasmin.2024.07.3 (passed)
        • jasmin.2025.02.0 (passed)
        • jasmin.2025.02.1 (passed)
        • jasmin.2025.06.0 (passed)
        • jasmin.2025.06.1 (passed)
        • jasmin.2025.06.2 (passed)
        • jasmin.2025.06.3 (passed)
        • jasmin.2026.03.0 (passed)
        • libabsolute.0.1 (passed)
        • lutin.2.71.10 (failed: polka.2.71.15 failed to build)
        • lutin.2.71.15 (failed: polka.2.71.15 failed to build)
        • mlcuddidl.3.0.8 (passed)
        • mlgmpidl.1.2.15 (passed)
        • mlgmpidl.1.2.15-1 (passed)
        • mlgmpidl.1.3.0 (passed)
        • mopsa.1.2 (failed: "languages.universal.numeric.relational.elinainst" is an invalid)
        • ocamlfuse.2.7.1-cvs13 (passed)
        • ocamlfuse.2.7.2 (passed)
        • ocamlyices.0.7.0 (failed: Cannot find yices.)
        • ocamlyices.0.7.1 (failed: Cannot find yices.)
        • picasso.0.1 (passed)
        • picasso.0.2.0 (passed)
        • picasso.0.3.0 (passed)
        • picasso.0.4.0 (passed)
        • polka.2.71.10 (failed: implicit declaration of function 'failwith'; did you mean 'caml_failwith'? [-Wimplicit-function-declaration])
        • polka.2.71.15 (failed: passing argument 1 of 'poly_intersection_array' from incompatible pointer type [-Wincompatible-pointer-types])