1. github
2. ocaml
3. opam-repository
4. 55a474

(for PR #27768)

Summary of errors

• compilers
  • 4.14
    • bitwuzla-cxx.0.7.0
      • revdeps
        • smtml.0.4.1 (failed: The compilation of smtml.0.4.1 failed at "dune build -p smtml -j 255 @install @runtest".)
  • 5.3
    • bitwuzla-cxx.0.7.0
      • revdeps
        • smtml.0.4.1 (failed: The compilation of smtml.0.4.1 failed at "dune build -p smtml -j 71 @install @runtest".)
• macos
  • macos-homebrew-ocaml-4.14-amd64 (experimental)
    • bitwuzla-cxx.0.7.0 (failed: The compilation of bitwuzla-cxx.0.7.0 failed at "dune build -p bitwuzla-cxx -j 11 @install".)
  • macos-homebrew-ocaml-4.14-arm64 (experimental)
    • bitwuzla-cxx.0.7.0 (failed: The compilation of bitwuzla-cxx.0.7.0 failed at "dune build -p bitwuzla-cxx -j 7 @install".)
  • macos-homebrew-ocaml-5.3-amd64 (experimental)
    • bitwuzla-cxx.0.7.0 (failed: The compilation of bitwuzla-cxx.0.7.0 failed at "dune build -p bitwuzla-cxx -j 11 @install".)
  • macos-homebrew-ocaml-5.3-arm64 (experimental)
    • bitwuzla-cxx.0.7.0 (failed: The compilation of bitwuzla-cxx.0.7.0 failed at "dune build -p bitwuzla-cxx -j 7 @install".)