Opam-CI

(for PR #28534)

Main results

(analysis) (passed)
(lint) (passed)
compilers
distributions
- alpine-3.22-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- alpine-3.22-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- archlinux-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- archlinux-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- debian-11-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- debian-11-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- debian-12-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- debian-12-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- debian-testing-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- debian-testing-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- debian-unstable-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- debian-unstable-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- fedora-41-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- fedora-41-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- fedora-42-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- fedora-42-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- opensuse-15.6-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- opensuse-15.6-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- opensuse-tumbleweed-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- opensuse-tumbleweed-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ubuntu-22.04-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ubuntu-22.04-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ubuntu-24.04-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ubuntu-24.04-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ubuntu-25.04-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ubuntu-25.04-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
extras
- arm32-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- arm32-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- arm64-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- arm64-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ocaml-4.14-afl
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ocaml-4.14-flambda
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ocaml-4.14-flambda-fp
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ocaml-4.14-fp
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ocaml-4.14-nnp
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ocaml-4.14-nnpchecker
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ocaml-4.14-no-flat-float-array
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ocaml-5.3-afl
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ocaml-5.3-flambda
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ocaml-5.3-no-flat-float-array
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- opam-2.0-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- opam-2.0-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- opam-2.1-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- opam-2.1-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- opam-2.2-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- opam-2.2-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- opam-2.3-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- opam-2.3-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- opam-2.4-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- opam-2.4-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ppc64-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- ppc64-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- riscv64-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- riscv64-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- s390x-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- s390x-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- x86_32-ocaml-4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- x86_32-ocaml-5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
freebsd (experimental)
- freebsd-14.2-ocaml-4.14-amd64 (experimental)
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- freebsd-14.2-ocaml-5.3-amd64 (experimental)
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
macos
- macos-homebrew-ocaml-4.14-amd64 (experimental)
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- macos-homebrew-ocaml-4.14-arm64 (experimental)
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- macos-homebrew-ocaml-5.3-amd64 (experimental)
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- macos-homebrew-ocaml-5.3-arm64 (experimental)
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)

Reverse dependencies

compilers
- 4.14
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)
- 5.3
  - coq-lsp.0.2.4+9.1 (failed: [SKIP] Package not available)