1. github
2. ocaml
3. opam-repository
4. 302e72

(for PR #27550)

Summary of errors

• (lint) (failed)
  • Error in conf-g++.1.0: No package source directory provided.
• compilers
  • 4.14
    • conf-g++.1.0
      • revdeps
        • bitwuzla-bin.0.0.0 (failed: 'size_t' does not name a type)
        • class_group_vdf.0.0.2 (failed: ld returned 1 exit status)
        • class_group_vdf.0.0.3 (failed: ld returned 1 exit status)
        • cvc5.1.2.0 (failed: Cancelled)
        • octez-protocol-017-PtNairob-libs.18.1 (failed: The compilation of octez-protocol-017-PtNairob-libs.18.1 failed at "dune runtest -p octez-protocol-017-PtNairob-libs -j 39".)
        • octez-protocol-alpha-libs.18.0 (failed: The compilation of octez-protocol-alpha-libs.18.0 failed at "dune runtest -p octez-protocol-alpha-libs -j 31".)
        • octez-protocol-alpha-libs.19.1 (failed: The compilation of octez-protocol-alpha-libs.19.1 failed at "dune runtest -p octez-protocol-alpha-libs -j 71".)
        • tezos-baking-016-PtMumbai.16.0 (failed: The compilation of tezos-baking-016-PtMumbai.16.0 failed at "dune runtest -p tezos-baking-016-PtMumbai -j 31".)
        • tezos-protocol-plugin-008-PtEdo2Zk-registerer.16.0 (failed: Failed to get sources of either.1.0.0: curl failed)
        • tezos-protocol-plugin-010-PtGRANAD-registerer.16.0 (failed: Failed to get sources of vector.1.0.0: curl failed)
        • tezos-protocol-plugin-011-PtHangz2-registerer.16.0 (failed: Failed to get sources of zarith_stubs_js.v0.16.1: curl failed)
        • tezos-protocol-plugin-012-Psithaca-registerer.16.1 (failed: Failed to get sources of domain-name.0.4.1: curl failed)
        • tezos-protocol-plugin-017-PtNairob-registerer.17.3 (failed: Failed to get sources of js_of_ocaml.5.8.2, js_of_ocaml-compiler.5.8.2 (https://github.com/ocsigen/js_of_ocaml/releases/download/5.8.2/js_of_ocaml-5.8.2.tbz): curl failed)
        • tezos-proxy.17.3 (failed: Failed to get sources of time_now.v0.16.0: curl failed)
  • 5.3
    • conf-g++.1.0
      • revdeps
        • bitwuzla-bin.0.0.0 (failed: 'size_t' does not name a type)
        • class_group_vdf.0.0.2 (failed: ld returned 1 exit status)
        • cvc5.1.2.0 (failed: Cancelled)
        • z3_tptp.4.8.14 (failed: z3.4.8.14 failed to build)