Opam-CI

(for PR #29092)

Summary of errors

extras
- opam-2.2-ocaml-4.14
  - frama_c_codex.1.0-rc4
    - tests (failed: Failed to get sources of alt-ergo.1.01: curl failed)
macos
- macos-homebrew-ocaml-4.14-amd64 (experimental)
- macos-homebrew-ocaml-4.14-arm64 (experimental)

Main results

(analysis) (passed)
(lint) (passed)
compilers
distributions
- alpine-3.22-ocaml-4.14
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- alpine-3.22-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- archlinux-ocaml-4.14
  - binsec_codex.1.0-rc4 (passed)
    - tests (passed)
  - codex.1.0-rc4 (passed)
    - tests (passed)
  - frama_c_codex.1.0-rc4 (passed)
    - tests (passed)
- archlinux-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- centos-10-ocaml-4.14
  - binsec_codex.1.0-rc4 (passed)
    - tests (passed)
  - codex.1.0-rc4 (passed)
    - tests (passed)
  - frama_c_codex.1.0-rc4 (passed)
    - tests (passed)
- centos-10-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- centos-9-ocaml-4.14
  - binsec_codex.1.0-rc4 (passed)
    - tests (passed)
  - codex.1.0-rc4 (passed)
    - tests (passed)
  - frama_c_codex.1.0-rc4 (passed)
    - tests (passed)
- centos-9-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- debian-11-ocaml-4.14
  - binsec_codex.1.0-rc4 (passed)
    - tests (passed)
  - codex.1.0-rc4 (passed)
    - tests (passed)
  - frama_c_codex.1.0-rc4 (passed)
    - tests (passed)
- debian-11-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- debian-12-ocaml-4.14
  - binsec_codex.1.0-rc4 (passed)
    - tests (passed)
  - codex.1.0-rc4 (passed)
    - tests (passed)
  - frama_c_codex.1.0-rc4 (passed)
    - tests (passed)
- debian-12-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- debian-testing-ocaml-4.14
  - binsec_codex.1.0-rc4 (passed)
    - tests (passed)
  - codex.1.0-rc4 (passed)
    - tests (passed)
  - frama_c_codex.1.0-rc4 (passed)
    - tests (passed)
- debian-testing-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- debian-unstable-ocaml-4.14
  - binsec_codex.1.0-rc4 (passed)
    - tests (passed)
  - codex.1.0-rc4 (passed)
    - tests (passed)
  - frama_c_codex.1.0-rc4 (passed)
    - tests (passed)
- debian-unstable-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- fedora-41-ocaml-4.14
  - binsec_codex.1.0-rc4 (passed)
    - tests (passed)
  - codex.1.0-rc4 (passed)
    - tests (passed)
  - frama_c_codex.1.0-rc4 (passed)
    - tests (passed)
- fedora-41-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- fedora-42-ocaml-4.14
  - binsec_codex.1.0-rc4 (passed)
    - tests (passed)
  - codex.1.0-rc4 (passed)
    - tests (passed)
  - frama_c_codex.1.0-rc4 (passed)
    - tests (passed)
- fedora-42-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- fedora-43-ocaml-4.14
  - binsec_codex.1.0-rc4 (passed)
    - tests (passed)
  - codex.1.0-rc4 (passed)
    - tests (passed)
  - frama_c_codex.1.0-rc4 (passed)
    - tests (passed)
- fedora-43-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- opensuse-15.6-ocaml-4.14
  - binsec_codex.1.0-rc4 (passed)
    - tests (passed)
  - codex.1.0-rc4 (passed)
    - tests (passed)
  - frama_c_codex.1.0-rc4 (passed)
    - tests (passed)
- opensuse-15.6-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- opensuse-tumbleweed-ocaml-4.14
  - binsec_codex.1.0-rc4 (passed)
    - tests (passed)
  - codex.1.0-rc4 (passed)
    - tests (passed)
  - frama_c_codex.1.0-rc4 (passed)
    - tests (passed)
- opensuse-tumbleweed-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- ubuntu-22.04-ocaml-4.14
  - binsec_codex.1.0-rc4 (passed)
    - tests (passed)
  - codex.1.0-rc4 (passed)
    - tests (passed)
  - frama_c_codex.1.0-rc4 (passed)
    - tests (passed)
- ubuntu-22.04-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- ubuntu-24.04-ocaml-4.14
  - binsec_codex.1.0-rc4 (passed)
    - tests (passed)
  - codex.1.0-rc4 (passed)
    - tests (passed)
  - frama_c_codex.1.0-rc4 (passed)
    - tests (passed)
- ubuntu-24.04-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- ubuntu-25.04-ocaml-4.14
  - binsec_codex.1.0-rc4 (passed)
    - tests (passed)
  - codex.1.0-rc4 (passed)
    - tests (passed)
  - frama_c_codex.1.0-rc4 (passed)
    - tests (passed)
- ubuntu-25.04-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
- ubuntu-25.10-ocaml-4.14
  - binsec_codex.1.0-rc4 (passed)
    - tests (passed)
  - codex.1.0-rc4 (passed)
    - tests (passed)
  - frama_c_codex.1.0-rc4 (passed)
    - tests (passed)
- ubuntu-25.10-ocaml-5.4
  - binsec_codex.1.0-rc4 (failed: [SKIP] Package not available)
  - codex.1.0-rc4 (failed: [SKIP] Package not available)
  - frama_c_codex.1.0-rc4 (failed: [SKIP] Package not available)
extras
freebsd (experimental)
- freebsd-14.3-ocaml-4.14-amd64 (experimental)
- freebsd-14.3-ocaml-5.4-amd64 (experimental)
macos
- macos-homebrew-ocaml-4.14-amd64 (experimental)
- macos-homebrew-ocaml-4.14-arm64 (experimental)
- macos-homebrew-ocaml-5.4-amd64 (experimental)
- macos-homebrew-ocaml-5.4-arm64 (experimental)

Reverse dependencies

compilers
- 4.14
- 5.4