(for PR #19229)
Summary of errors
- compilers
- 4.14
- conf-llvm.9.0.0
- revdeps
- labrys.0.1 (failed: The installation of llvm failed at "bash -ex install.sh /home/opam/.opam/4.14/lib cmake make".)
- llopt.1.0.0 (failed: The installation of llvm failed at "bash -ex install.sh /home/opam/.opam/4.14/lib cmake make".)
- llvm.9.0.0 (failed: The installation of llvm failed at "bash -ex install.sh /home/opam/.opam/4.14/lib cmake make".)
- llvmgraph.0.2 (failed: The installation of llvm failed at "bash -ex install.sh /home/opam/.opam/4.14/lib cmake make".)
- revdeps
- conf-llvm.9.0.0
- 5.0
- conf-llvm.11.0.0
- conf-llvm.9.0.0
- revdeps
- binsec.0.4.1 (failed: Unbound record field mark_open_tag)
- binsec.0.5.0 (failed: Unbound record field mark_open_tag)
- llvm.9.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- revdeps
- 4.14
- distributions
- alpine-3.16-ocaml-4.14
- alpine-3.16-ocaml-5.0
- alpine-3.17-ocaml-4.14
- alpine-3.17-ocaml-5.0
- archlinux-ocaml-4.14
- conf-llvm.10.0.0 (failed: LLVM 10 is not installed.)
- conf-llvm.11.0.0 (failed: LLVM 11 is not installed.)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: LLVM 3.9 is not installed.)
- conf-llvm.4.0.0 (failed: LLVM 4.0 is not installed.)
- conf-llvm.5.0.0 (failed: LLVM 5.0 is not installed.)
- conf-llvm.6.0.0 (failed: LLVM 6.0 is not installed.)
- conf-llvm.7.0.0 (failed: LLVM 7 is not installed.)
- conf-llvm.8.0.0 (failed: LLVM 8 is not installed.)
- conf-llvm.9.0.0 (failed: LLVM 9 is not installed.)
- archlinux-ocaml-5.0
- conf-llvm.10.0.0 (failed: LLVM 10 is not installed.)
- conf-llvm.11.0.0 (failed: LLVM 11 is not installed.)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: LLVM 3.9 is not installed.)
- conf-llvm.4.0.0 (failed: LLVM 4.0 is not installed.)
- conf-llvm.5.0.0 (failed: LLVM 5.0 is not installed.)
- conf-llvm.6.0.0 (failed: LLVM 6.0 is not installed.)
- conf-llvm.7.0.0 (failed: LLVM 7 is not installed.)
- conf-llvm.8.0.0 (failed: LLVM 8 is not installed.)
- conf-llvm.9.0.0 (failed: LLVM 9 is not installed.)
- fedora-36-ocaml-4.14
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.4.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.5.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.6.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.8.0.0 (failed: LLVM 8 is not installed.)
- conf-llvm.9.0.0 (failed: LLVM 9 is not installed.)
- fedora-36-ocaml-5.0
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.4.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.5.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.6.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.8.0.0 (failed: LLVM 8 is not installed.)
- conf-llvm.9.0.0 (failed: LLVM 9 is not installed.)
- fedora-37-ocaml-4.14
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.4.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.5.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.6.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.8.0.0 (failed: LLVM 8 is not installed.)
- conf-llvm.9.0.0 (failed: LLVM 9 is not installed.)
- fedora-37-ocaml-5.0
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.4.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.5.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.6.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.8.0.0 (failed: LLVM 8 is not installed.)
- conf-llvm.9.0.0 (failed: LLVM 9 is not installed.)
- opensuse-15.4-ocaml-4.14
- opensuse-15.4-ocaml-5.0
- oraclelinux-8-ocaml-4.14
- conf-llvm.10.0.0 (failed: LLVM 10 is not installed.)
- conf-llvm.11.0.0 (failed: LLVM 11 is not installed.)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: LLVM 3.9 is not installed.)
- conf-llvm.4.0.0 (failed: LLVM 4.0 is not installed.)
- conf-llvm.5.0.0 (failed: LLVM 5.0 is not installed.)
- conf-llvm.6.0.0 (failed: LLVM 6.0 is not installed.)
- conf-llvm.7.0.0 (failed: LLVM 7 is not installed.)
- conf-llvm.8.0.0 (failed: LLVM 8 is not installed.)
- conf-llvm.9.0.0 (failed: LLVM 9 is not installed.)
- oraclelinux-8-ocaml-5.0
- conf-llvm.10.0.0 (failed: LLVM 10 is not installed.)
- conf-llvm.11.0.0 (failed: LLVM 11 is not installed.)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: LLVM 3.9 is not installed.)
- conf-llvm.4.0.0 (failed: LLVM 4.0 is not installed.)
- conf-llvm.5.0.0 (failed: LLVM 5.0 is not installed.)
- conf-llvm.6.0.0 (failed: LLVM 6.0 is not installed.)
- conf-llvm.7.0.0 (failed: LLVM 7 is not installed.)
- conf-llvm.8.0.0 (failed: LLVM 8 is not installed.)
- conf-llvm.9.0.0 (failed: LLVM 9 is not installed.)
- extras
- opam-2.0-ocaml-4.14
- conf-llvm.10.0.0 (failed: Failed: Build failed)
- conf-llvm.3.4 (failed: Failed: Build failed)
- conf-llvm.3.8 (failed: Failed: Build failed)
- conf-llvm.3.9 (failed: Failed: Build failed)
- conf-llvm.4.0.0 (failed: Failed: Build failed)
- conf-llvm.5.0.0 (failed: Failed: Build failed)
- conf-llvm.6.0.0 (failed: Failed: Build failed)
- conf-llvm.7.0.0 (failed: Failed: Build failed)
- conf-llvm.8.0.0 (failed: Failed: Build failed)
- opam-2.0-ocaml-5.0
- conf-llvm.10.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.3.4 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.3.8 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.3.9 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.4.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.5.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.6.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.7.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.8.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- opam-2.1-ocaml-4.14
- conf-llvm.10.0.0 (failed: Failed: Build failed)
- conf-llvm.3.4 (failed: Failed: Build failed)
- conf-llvm.3.8 (failed: Failed: Build failed)
- conf-llvm.3.9 (failed: Failed: Build failed)
- conf-llvm.4.0.0 (failed: Failed: Build failed)
- conf-llvm.5.0.0 (failed: Failed: Build failed)
- conf-llvm.6.0.0 (failed: Failed: Build failed)
- conf-llvm.7.0.0 (failed: Failed: Build failed)
- conf-llvm.8.0.0 (failed: Failed: Build failed)
- opam-2.0-ocaml-4.14
- macos
- macos-homebrew-ocaml-4.14-amd64 (experimental)
- conf-llvm.10.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.3.9 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.4.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.5.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.6.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.7.0.0 (failed: System package install failed with exit code 1 at command:)
- macos-homebrew-ocaml-4.14-arm64 (experimental)
- conf-llvm.10.0.0 (failed: Failed: Internal error)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.3.9 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.4.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.5.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.6.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.7.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.8.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.9.0.0 (failed: System package install failed with exit code 1 at command:)
- macos-homebrew-ocaml-5.0-amd64 (experimental)
- conf-llvm.10.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.3.9 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.4.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.5.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.6.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.7.0.0 (failed: System package install failed with exit code 1 at command:)
- macos-homebrew-ocaml-5.0-arm64 (experimental)
- conf-llvm.10.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.3.9 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.4.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.5.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.6.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.7.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.8.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.9.0.0 (failed: System package install failed with exit code 1 at command:)
- macos-homebrew-ocaml-4.14-amd64 (experimental)
Full results
- (analysis) (passed)
- (lint) (passed)
- compilers
- 4.02
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- 4.03
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- 4.04
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- 4.05
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- 4.06
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- 4.07
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- 4.08
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- 4.09
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- 4.10
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- 4.11
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- 4.12
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- 4.13
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- 4.14
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- lower-bounds (passed)
- revdeps (passed)
- binsec.0.4.1 (passed)
- binsec.0.5.0 (passed)
- labrys.0.1 (failed: The installation of llvm failed at "bash -ex install.sh /home/opam/.opam/4.14/lib cmake make".)
- llopt.1.0.0 (failed: The installation of llvm failed at "bash -ex install.sh /home/opam/.opam/4.14/lib cmake make".)
- llvm.9.0.0 (failed: The installation of llvm failed at "bash -ex install.sh /home/opam/.opam/4.14/lib cmake make".)
- llvmgraph.0.2 (failed: The installation of llvm failed at "bash -ex install.sh /home/opam/.opam/4.14/lib cmake make".)
- ollvm-tapir.0.99.1 (passed)
- ollvm.0.99 (passed)
- 5.0
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- lower-bounds (passed)
- revdeps (passed)
- binsec.0.4.1 (failed: Unbound record field mark_open_tag)
- binsec.0.5.0 (failed: Unbound record field mark_open_tag)
- llvm.9.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- ollvm-tapir.0.99.1 (passed)
- ollvm.0.99 (passed)
- 4.02
- distributions
- alpine-3.16-ocaml-4.14
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (failed: [SKIP] Package not available)
- alpine-3.16-ocaml-5.0
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (failed: [SKIP] Package not available)
- alpine-3.17-ocaml-4.14
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (failed: [SKIP] Package not available)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (failed: [SKIP] Package not available)
- alpine-3.17-ocaml-5.0
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (failed: [SKIP] Package not available)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (failed: [SKIP] Package not available)
- archlinux-ocaml-4.14
- conf-llvm.10.0.0 (failed: LLVM 10 is not installed.)
- conf-llvm.11.0.0 (failed: LLVM 11 is not installed.)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: LLVM 3.9 is not installed.)
- conf-llvm.4.0.0 (failed: LLVM 4.0 is not installed.)
- conf-llvm.5.0.0 (failed: LLVM 5.0 is not installed.)
- conf-llvm.6.0.0 (failed: LLVM 6.0 is not installed.)
- conf-llvm.7.0.0 (failed: LLVM 7 is not installed.)
- conf-llvm.8.0.0 (failed: LLVM 8 is not installed.)
- conf-llvm.9.0.0 (failed: LLVM 9 is not installed.)
- archlinux-ocaml-5.0
- conf-llvm.10.0.0 (failed: LLVM 10 is not installed.)
- conf-llvm.11.0.0 (failed: LLVM 11 is not installed.)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: LLVM 3.9 is not installed.)
- conf-llvm.4.0.0 (failed: LLVM 4.0 is not installed.)
- conf-llvm.5.0.0 (failed: LLVM 5.0 is not installed.)
- conf-llvm.6.0.0 (failed: LLVM 6.0 is not installed.)
- conf-llvm.7.0.0 (failed: LLVM 7 is not installed.)
- conf-llvm.8.0.0 (failed: LLVM 8 is not installed.)
- conf-llvm.9.0.0 (failed: LLVM 9 is not installed.)
- debian-10-ocaml-4.14
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (passed)
- conf-llvm.7.0.0 (passed)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (failed: [SKIP] Package not available)
- debian-10-ocaml-5.0
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (passed)
- conf-llvm.7.0.0 (passed)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (failed: [SKIP] Package not available)
- debian-testing-ocaml-4.14
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (failed: [SKIP] Package not available)
- debian-testing-ocaml-5.0
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (failed: [SKIP] Package not available)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (failed: [SKIP] Package not available)
- debian-unstable-ocaml-4.14
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (failed: [SKIP] Package not available)
- debian-unstable-ocaml-5.0
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (failed: [SKIP] Package not available)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (failed: [SKIP] Package not available)
- fedora-36-ocaml-4.14
- conf-llvm.10.0.0 (passed)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.4.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.5.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.6.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.7.0.0 (passed)
- conf-llvm.8.0.0 (failed: LLVM 8 is not installed.)
- conf-llvm.9.0.0 (failed: LLVM 9 is not installed.)
- fedora-36-ocaml-5.0
- conf-llvm.10.0.0 (passed)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.4.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.5.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.6.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.7.0.0 (passed)
- conf-llvm.8.0.0 (failed: LLVM 8 is not installed.)
- conf-llvm.9.0.0 (failed: LLVM 9 is not installed.)
- fedora-37-ocaml-4.14
- conf-llvm.10.0.0 (passed)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.4.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.5.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.6.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.7.0.0 (passed)
- conf-llvm.8.0.0 (failed: LLVM 8 is not installed.)
- conf-llvm.9.0.0 (failed: LLVM 9 is not installed.)
- fedora-37-ocaml-5.0
- conf-llvm.10.0.0 (passed)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.4.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.5.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.6.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.7.0.0 (passed)
- conf-llvm.8.0.0 (failed: LLVM 8 is not installed.)
- conf-llvm.9.0.0 (failed: LLVM 9 is not installed.)
- opensuse-15.4-ocaml-4.14
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: LLVM 3.9 is not installed.)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (passed)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (passed)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- opensuse-15.4-ocaml-5.0
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: LLVM 3.9 is not installed.)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (passed)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (passed)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- oraclelinux-8-ocaml-4.14
- conf-llvm.10.0.0 (failed: LLVM 10 is not installed.)
- conf-llvm.11.0.0 (failed: LLVM 11 is not installed.)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: LLVM 3.9 is not installed.)
- conf-llvm.4.0.0 (failed: LLVM 4.0 is not installed.)
- conf-llvm.5.0.0 (failed: LLVM 5.0 is not installed.)
- conf-llvm.6.0.0 (failed: LLVM 6.0 is not installed.)
- conf-llvm.7.0.0 (failed: LLVM 7 is not installed.)
- conf-llvm.8.0.0 (failed: LLVM 8 is not installed.)
- conf-llvm.9.0.0 (failed: LLVM 9 is not installed.)
- oraclelinux-8-ocaml-5.0
- conf-llvm.10.0.0 (failed: LLVM 10 is not installed.)
- conf-llvm.11.0.0 (failed: LLVM 11 is not installed.)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: LLVM 3.8 is not installed.)
- conf-llvm.3.9 (failed: LLVM 3.9 is not installed.)
- conf-llvm.4.0.0 (failed: LLVM 4.0 is not installed.)
- conf-llvm.5.0.0 (failed: LLVM 5.0 is not installed.)
- conf-llvm.6.0.0 (failed: LLVM 6.0 is not installed.)
- conf-llvm.7.0.0 (failed: LLVM 7 is not installed.)
- conf-llvm.8.0.0 (failed: LLVM 8 is not installed.)
- conf-llvm.9.0.0 (failed: LLVM 9 is not installed.)
- ubuntu-18.04-ocaml-4.14
- conf-llvm.10.0.0 (passed)
- conf-llvm.11.0.0 (failed: [SKIP] Package not available)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (passed)
- conf-llvm.4.0.0 (passed)
- conf-llvm.5.0.0 (passed)
- conf-llvm.6.0.0 (passed)
- conf-llvm.7.0.0 (passed)
- conf-llvm.8.0.0 (passed)
- conf-llvm.9.0.0 (passed)
- ubuntu-18.04-ocaml-5.0
- conf-llvm.10.0.0 (passed)
- conf-llvm.11.0.0 (failed: [SKIP] Package not available)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (passed)
- conf-llvm.4.0.0 (passed)
- conf-llvm.5.0.0 (passed)
- conf-llvm.6.0.0 (passed)
- conf-llvm.7.0.0 (passed)
- conf-llvm.8.0.0 (passed)
- conf-llvm.9.0.0 (passed)
- ubuntu-20.04-ocaml-4.14
- conf-llvm.10.0.0 (passed)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (passed)
- conf-llvm.7.0.0 (passed)
- conf-llvm.8.0.0 (passed)
- conf-llvm.9.0.0 (passed)
- ubuntu-20.04-ocaml-5.0
- conf-llvm.10.0.0 (passed)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (passed)
- conf-llvm.7.0.0 (passed)
- conf-llvm.8.0.0 (passed)
- conf-llvm.9.0.0 (passed)
- ubuntu-22.04-ocaml-4.14
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (failed: [SKIP] Package not available)
- ubuntu-22.04-ocaml-5.0
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (failed: [SKIP] Package not available)
- ubuntu-22.10-ocaml-4.14
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (failed: [SKIP] Package not available)
- ubuntu-22.10-ocaml-5.0
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (failed: [SKIP] Package not available)
- alpine-3.16-ocaml-4.14
- extras
- arm32-ocaml-4.14
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- arm32-ocaml-5.0
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- arm64-ocaml-4.14
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- arm64-ocaml-5.0
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- ocaml-4.14-afl
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- ocaml-4.14-flambda
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- ocaml-4.14-flambda-fp
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- ocaml-4.14-fp
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- ocaml-4.14-nnp
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- ocaml-4.14-nnpchecker
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- ocaml-4.14-no-flat-float-array
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- ocaml-5.0-afl
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- ocaml-5.0-flambda
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- ocaml-5.0-no-flat-float-array
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- opam-2.0-ocaml-4.14
- conf-llvm.10.0.0 (failed: Failed: Build failed)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: Failed: Build failed)
- conf-llvm.3.8 (failed: Failed: Build failed)
- conf-llvm.3.9 (failed: Failed: Build failed)
- conf-llvm.4.0.0 (failed: Failed: Build failed)
- conf-llvm.5.0.0 (failed: Failed: Build failed)
- conf-llvm.6.0.0 (failed: Failed: Build failed)
- conf-llvm.7.0.0 (failed: Failed: Build failed)
- conf-llvm.8.0.0 (failed: Failed: Build failed)
- conf-llvm.9.0.0 (passed)
- opam-2.0-ocaml-5.0
- conf-llvm.10.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.3.8 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.3.9 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.4.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.5.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.6.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.7.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.8.0.0 (failed: Could not update repository "beta": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/ocaml-beta-repository/': Could not resolve host: github.com")
- conf-llvm.9.0.0 (passed)
- opam-2.1-ocaml-4.14
- conf-llvm.10.0.0 (failed: Failed: Build failed)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: Failed: Build failed)
- conf-llvm.3.8 (failed: Failed: Build failed)
- conf-llvm.3.9 (failed: Failed: Build failed)
- conf-llvm.4.0.0 (failed: Failed: Build failed)
- conf-llvm.5.0.0 (failed: Failed: Build failed)
- conf-llvm.6.0.0 (failed: Failed: Build failed)
- conf-llvm.7.0.0 (failed: Failed: Build failed)
- conf-llvm.8.0.0 (failed: Failed: Build failed)
- conf-llvm.9.0.0 (passed)
- opam-2.1-ocaml-5.0
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- ppc64-ocaml-4.14
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- ppc64-ocaml-5.0
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- s390x-ocaml-4.14
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- s390x-ocaml-5.0
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- x86_32-ocaml-4.14
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- x86_32-ocaml-5.0
- conf-llvm.10.0.0 (failed: [SKIP] Package not available)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: [SKIP] Package not available)
- conf-llvm.3.8 (failed: [SKIP] Package not available)
- conf-llvm.3.9 (failed: [SKIP] Package not available)
- conf-llvm.4.0.0 (failed: [SKIP] Package not available)
- conf-llvm.5.0.0 (failed: [SKIP] Package not available)
- conf-llvm.6.0.0 (failed: [SKIP] Package not available)
- conf-llvm.7.0.0 (failed: [SKIP] Package not available)
- conf-llvm.8.0.0 (failed: [SKIP] Package not available)
- conf-llvm.9.0.0 (passed)
- arm32-ocaml-4.14
- macos
- macos-homebrew-ocaml-4.14-amd64 (experimental)
- conf-llvm.10.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.3.9 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.4.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.5.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.6.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.7.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.8.0.0 (passed)
- conf-llvm.9.0.0 (passed)
- macos-homebrew-ocaml-4.14-arm64 (experimental)
- conf-llvm.10.0.0 (failed: Failed: Internal error)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.3.9 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.4.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.5.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.6.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.7.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.8.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.9.0.0 (failed: System package install failed with exit code 1 at command:)
- macos-homebrew-ocaml-5.0-amd64 (experimental)
- conf-llvm.10.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.3.9 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.4.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.5.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.6.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.7.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.8.0.0 (passed)
- conf-llvm.9.0.0 (passed)
- macos-homebrew-ocaml-5.0-arm64 (experimental)
- conf-llvm.10.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.11.0.0 (passed)
- conf-llvm.3.4 (failed: LLVM 3.4 is not installed.)
- conf-llvm.3.8 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.3.9 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.4.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.5.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.6.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.7.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.8.0.0 (failed: System package install failed with exit code 1 at command:)
- conf-llvm.9.0.0 (failed: System package install failed with exit code 1 at command:)
- macos-homebrew-ocaml-4.14-amd64 (experimental)