(for PR #29830)
Summary of errors
- freebsd (experimental)
- freebsd-15.0-ocaml-4.14-amd64 (experimental)
- freebsd-15.0-ocaml-5.4-amd64 (experimental)
Main results
- (analysis) (passed)
- (lint) (passed)
- compilers
- 4.08
- 4.11
- 4.14
- 5.2
- 5.3
- 5.4
- 5.5~beta1
- distributions
- alpine-3.23-ocaml-4.14
- alpine-3.23-ocaml-5.4
- archlinux-ocaml-4.14
- archlinux-ocaml-5.4
- centos-10-ocaml-4.14
- centos-10-ocaml-5.4
- centos-9-ocaml-4.14
- centos-9-ocaml-5.4
- debian-12-ocaml-4.14
- debian-12-ocaml-5.4
- debian-testing-ocaml-4.14
- debian-testing-ocaml-5.4
- debian-unstable-ocaml-4.14
- debian-unstable-ocaml-5.4
- fedora-42-ocaml-4.14
- fedora-42-ocaml-5.4
- fedora-43-ocaml-4.14
- fedora-43-ocaml-5.4
- opensuse-15.6-ocaml-4.14
- opensuse-15.6-ocaml-5.4
- opensuse-16.0-ocaml-4.14
- opensuse-16.0-ocaml-5.4
- opensuse-tumbleweed-ocaml-4.14
- opensuse-tumbleweed-ocaml-5.4
- ubuntu-22.04-ocaml-4.14
- ubuntu-22.04-ocaml-5.4
- ubuntu-24.04-ocaml-4.14
- ubuntu-24.04-ocaml-5.4
- ubuntu-25.04-ocaml-4.14
- ubuntu-25.04-ocaml-5.4
- ubuntu-25.10-ocaml-4.14
- ubuntu-25.10-ocaml-5.4
- ubuntu-26.04-ocaml-4.14
- ubuntu-26.04-ocaml-5.4
- extras
- arm64-ocaml-4.14
- arm64-ocaml-5.4
- ocaml-4.14-afl
- ocaml-4.14-flambda
- ocaml-4.14-flambda-fp
- ocaml-4.14-fp
- ocaml-4.14-nnp
- ocaml-4.14-nnpchecker
- ocaml-4.14-no-flat-float-array
- ocaml-5.4-afl
- ocaml-5.4-flambda
- ocaml-5.4-no-flat-float-array
- opam-2.1-ocaml-4.14
- opam-2.1-ocaml-5.4
- opam-2.2-ocaml-4.14
- opam-2.2-ocaml-5.4
- opam-2.3-ocaml-4.14
- opam-2.3-ocaml-5.4
- opam-2.4-ocaml-4.14
- opam-2.4-ocaml-5.4
- opam-2.5-ocaml-4.14
- opam-2.5-ocaml-5.4
- ppc64-ocaml-4.14
- ppc64-ocaml-5.4
- riscv64-ocaml-4.14
- riscv64-ocaml-5.4
- s390x-ocaml-4.14
- s390x-ocaml-5.4
- freebsd (experimental)
- freebsd-15.0-ocaml-4.14-amd64 (experimental)
- freebsd-15.0-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
- rocq-stdlib.9.1.0 (passed)
- revdeps (passed)
- coq-lsp.0.2.3+9.0 (passed)
- coq-lsp.0.2.4+9.0 (passed)
- coq-lsp.0.2.4+9.1 (passed)
- coq-lsp.0.2.5+9.0 (passed)
- coq-lsp.0.2.5+9.1 (passed)
- rocq-prover.9.0.0 (passed)
- rocq-prover.meta.1 (passed)
- vscoq-language-server.2.3.3 (passed)
- vsrocq-language-server.2.3.0 (passed)
- vsrocq-language-server.2.3.1 (passed)
- vsrocq-language-server.2.3.3 (passed)
- revdeps (passed)
- rocq-stdlib.9.1.0 (passed)
- 5.4
- rocq-stdlib.9.1.0 (passed)
- revdeps (passed)
- coq-lsp.0.2.3+9.0 (passed)
- coq-lsp.0.2.4+9.0 (passed)
- coq-lsp.0.2.4+9.1 (passed)
- coq-lsp.0.2.5+9.0 (passed)
- coq-lsp.0.2.5+9.1 (passed)
- rocq-prover.9.0.0 (passed)
- rocq-prover.meta.1 (passed)
- vscoq-language-server.2.3.3 (passed)
- vsrocq-language-server.2.3.0 (passed)
- vsrocq-language-server.2.3.1 (passed)
- vsrocq-language-server.2.3.3 (passed)
- revdeps (passed)
- rocq-stdlib.9.1.0 (passed)
- 4.14