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

(for PR #23662)

Summary of errors

• (analysis) (failed: Command "git" "-C" "/var/lib/ocurrent/var/git/opam-repository.git-a0bc4b41ddb868605dc1500002c27cfa79faf4389fe53b6754817ea16b48d458" "branch" "-f" "fetch-f79cda2b3e8884915597a3523aca680f758e701d" "f79cda2b3e8884915597a3523aca680f758e701d" exited with status 128)
• (lint) (failed: Command "git" "-C" "/tmp/git-checkout10d075a2" "reset" "--hard" "-q" "f79cda2b3e8884915597a3523aca680f758e701d" exited with status 128)
• compilers
  • 4.14
    • camlidl.1.10
      • revdeps
        • 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".)
        • ocamlyices.0.7.0 (failed: Cannot find yices.)
        • ocamlyices.0.7.1 (failed: Cannot find yices.)
    • camlidl.1.11
      • revdeps
        • elina.1.3 (failed: Failed to get sources of elina.1.3: Bad checksum)
        • 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".)
        • ocamlyices.0.7.0 (failed: Cannot find yices.)
        • ocamlyices.0.7.1 (failed: Cannot find yices.)
    • conf-gmp-paths.1
      • revdeps
        • elina.1.3 (failed: Failed to get sources of elina.1.3: Bad checksum)
    • conf-mpfr-paths.1
      • revdeps
        • elina.1.3 (failed: Failed to get sources of elina.1.3: Bad checksum)
    • ez-conf-lib.1
      • revdeps
        • elina.1.3 (failed: Failed to get sources of elina.1.3: Bad checksum)
        • elina.1.3.2 (failed: Cancelled)
        • frama-c.21.0 (failed: Cancelled)
        • picasso.0.2.0 (failed: Cancelled)
    • mlgmpidl.1.3.0
      • revdeps
        • elina.1.3 (failed: Failed to get sources of elina.1.3: Bad checksum)
        • frama-c-metacsl.0.3 (failed: Cancelled)
        • frama-c-metacsl.0.4 (failed: Cancelled)
  • 5.1
    • camlidl.1.10
      • revdeps
        • ocamlyices.0.7.0 (failed: Cannot find yices.)
        • ocamlyices.0.7.1 (failed: Cannot find yices.)
    • camlidl.1.11
      • revdeps
        • elina.1.3 (failed: Failed to get sources of elina.1.3: Bad checksum)
        • ocamlyices.0.7.0 (failed: Cannot find yices.)
        • ocamlyices.0.7.1 (failed: Cannot find yices.)
    • conf-gmp-paths.1
      • revdeps
        • elina.1.3 (failed: Failed to get sources of elina.1.3: Bad checksum)
    • conf-mpfr-paths.1
      • revdeps
        • elina.1.3 (failed: Failed to get sources of elina.1.3: Bad checksum)
    • ez-conf-lib.1
      • revdeps
        • elina.1.3 (failed: Failed to get sources of elina.1.3: Bad checksum)
    • mlgmpidl.1.3.0
      • revdeps
        • elina.1.3 (failed: Failed to get sources of elina.1.3: Bad checksum)
• distributions
  • opensuse-tumbleweed-ocaml-4.14
    • conf-gmp-paths.1 (failed: The compilation of conf-gmp-paths.1 failed at "sh /home/opam/.opam/4.14/lib/ez-conf-lib/ez-conf-lib gmp gmp.h test-gmp.c --package-name conf-gmp-paths -- /usr/local".)
    • conf-mpfr-paths.1 (failed: conf-gmp-paths.1 failed to build)
    • mlgmpidl.1.3.0 (failed: conf-gmp-paths.1 failed to build)
  • opensuse-tumbleweed-ocaml-5.1
    • conf-gmp-paths.1 (failed: The compilation of conf-gmp-paths.1 failed at "sh /home/opam/.opam/5.1/lib/ez-conf-lib/ez-conf-lib gmp gmp.h test-gmp.c --package-name conf-gmp-paths -- /usr/local".)
    • conf-mpfr-paths.1 (failed: conf-gmp-paths.1 failed to build)
    • mlgmpidl.1.3.0 (failed: conf-gmp-paths.1 failed to build)
• freebsd (experimental)
  • freebsd-ocaml-4.14-amd64 (experimental)
    • conf-mpfr-paths.1 (failed: unable to locate mpfr library)
    • mlgmpidl.1.3.0 (failed: conf-mpfr-paths.1 failed to build)
  • freebsd-ocaml-5.1-amd64 (experimental)
    • conf-mpfr-paths.1 (failed: unable to locate mpfr library)
    • mlgmpidl.1.3.0 (failed: conf-mpfr-paths.1 failed to build)