(for PR #26912)
Summary of errors
- compilers
- 4.14
- mlgmpidl.1.2.15-1
- revdeps
- frama-c.22.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
- frama-c.24.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
- frama-c.25.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
- frama-c.25.0~beta (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
- revdeps
- mlgmpidl.1.2.15-1
- 4.14
Main results
- (analysis) (passed)
- (lint) (passed)
- compilers
- 4.02
- 4.03
- 4.04
- 4.05
- 4.06
- 4.07
- 4.08
- 4.09
- 4.10
- 4.11
- 4.12
- 4.13
- 4.14
- 5.0
- 5.1
- 5.2
- 5.3~beta1
- distributions
- alpine-3.20-ocaml-4.14
- alpine-3.20-ocaml-5.2
- archlinux-ocaml-4.14
- archlinux-ocaml-5.2
- debian-11-ocaml-4.14
- debian-11-ocaml-5.2
- debian-testing-ocaml-4.14
- debian-testing-ocaml-5.2
- debian-unstable-ocaml-4.14
- debian-unstable-ocaml-5.2
- fedora-40-ocaml-4.14
- fedora-40-ocaml-5.2
- fedora-41-ocaml-4.14
- fedora-41-ocaml-5.2
- opensuse-15.6-ocaml-4.14
- opensuse-15.6-ocaml-5.2
- opensuse-tumbleweed-ocaml-4.14
- opensuse-tumbleweed-ocaml-5.2
- ubuntu-20.04-ocaml-4.14
- ubuntu-20.04-ocaml-5.2
- ubuntu-22.04-ocaml-4.14
- ubuntu-22.04-ocaml-5.2
- ubuntu-24.04-ocaml-4.14
- ubuntu-24.04-ocaml-5.2
- ubuntu-24.10-ocaml-4.14
- ubuntu-24.10-ocaml-5.2
- extras
- arm32-ocaml-4.14
- arm32-ocaml-5.2
- arm64-ocaml-4.14
- arm64-ocaml-5.2
- 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.2-afl
- ocaml-5.2-flambda
- ocaml-5.2-no-flat-float-array
- opam-2.0-ocaml-4.14
- opam-2.0-ocaml-5.2
- opam-2.1-ocaml-4.14
- opam-2.1-ocaml-5.2
- opam-2.2-ocaml-4.14
- opam-2.2-ocaml-5.2
- opam-2.3-ocaml-4.14
- opam-2.3-ocaml-5.2
- ppc64-ocaml-4.14
- ppc64-ocaml-5.2
- riscv64-ocaml-4.14
- riscv64-ocaml-5.2
- s390x-ocaml-4.14
- s390x-ocaml-5.2
- x86_32-ocaml-4.14
- x86_32-ocaml-5.2
- freebsd (experimental)
- freebsd-ocaml-4.14-amd64 (experimental)
- freebsd-ocaml-5.2-amd64 (experimental)
- macos
- macos-homebrew-ocaml-4.14-amd64 (experimental)
- macos-homebrew-ocaml-4.14-arm64 (experimental)
- macos-homebrew-ocaml-5.2-amd64 (experimental)
- macos-homebrew-ocaml-5.2-arm64 (experimental)
Reverse dependencies
- compilers
- 4.14
- mlgmpidl.1.2.15-1 (passed)
- revdeps (passed)
- absolute.0.1 (passed)
- absolute.0.2 (passed)
- absolute.0.3 (passed)
- apron.0.9.14 (passed)
- apron.20150820 (passed)
- apron.20150930 (passed)
- apron.20151015 (passed)
- apron.20160108 (passed)
- apron.20160125 (passed)
- apron.v0.9.12 (passed)
- apron.v0.9.13 (passed)
- apron.v0.9.14 (passed)
- apron.v0.9.14~beta.2 (passed)
- apron.v0.9.15 (passed)
- apronext.1.0 (passed)
- apronext.1.0.1 (passed)
- apronext.1.0.2 (passed)
- apronext.1.0.3 (passed)
- apronext.1.0.4 (passed)
- bddrand.2.71.10 (passed)
- bddrand.2.71.15 (passed)
- elina.1.0 (passed)
- elina.1.1 (passed)
- elina.1.3 (passed)
- elina.1.3.1 (passed)
- elina.1.3.2 (passed)
- frama-c.20.0 (passed)
- frama-c.21.0 (passed)
- frama-c.21.1 (passed)
- frama-c.22.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
- frama-c.24.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
- frama-c.25.0 (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
- frama-c.25.0~beta (failed: The files /home/opam/.opam/4.14/lib/lablgtk3/gWindow.cmi)
- jasmin.2022.04.0 (passed)
- jasmin.2022.09.0 (passed)
- jasmin.2022.09.2 (passed)
- jasmin.2022.09.3 (passed)
- jasmin.2023.06.0 (passed)
- jasmin.2023.06.1 (passed)
- jasmin.2023.06.2 (passed)
- jasmin.2023.06.3 (passed)
- jasmin.2023.06.4 (passed)
- jasmin.2024.07.0 (passed)
- jasmin.2024.07.1 (passed)
- libabsolute.0.1 (passed)
- lutin.2.71.10 (passed)
- lutin.2.71.15 (passed)
- memcad.1.1.0 (passed)
- mopsa.1.0 (passed)
- picasso.0.1 (passed)
- picasso.0.2.0 (passed)
- picasso.0.3.0 (passed)
- picasso.0.4.0 (passed)
- polka.2.71.10 (passed)
- polka.2.71.15 (passed)
- revdeps (passed)
- mlgmpidl.1.2.15-1 (passed)
- 5.2
- mlgmpidl.1.2.15-1 (passed)
- revdeps (passed)
- absolute.0.1 (passed)
- absolute.0.2 (passed)
- absolute.0.3 (passed)
- apron.0.9.14 (passed)
- apron.v0.9.14 (passed)
- apron.v0.9.14~beta.2 (passed)
- apron.v0.9.15 (passed)
- apronext.1.0 (passed)
- apronext.1.0.1 (passed)
- apronext.1.0.2 (passed)
- apronext.1.0.3 (passed)
- apronext.1.0.4 (passed)
- bddrand.2.71.10 (passed)
- bddrand.2.71.15 (passed)
- elina.1.0 (passed)
- elina.1.1 (passed)
- elina.1.3 (passed)
- elina.1.3.1 (passed)
- elina.1.3.2 (passed)
- jasmin.2023.06.2 (passed)
- jasmin.2023.06.3 (passed)
- jasmin.2023.06.4 (passed)
- jasmin.2024.07.0 (passed)
- jasmin.2024.07.1 (passed)
- libabsolute.0.1 (passed)
- lutin.2.71.10 (passed)
- lutin.2.71.15 (passed)
- mopsa.1.0 (passed)
- picasso.0.1 (passed)
- picasso.0.2.0 (passed)
- picasso.0.3.0 (passed)
- picasso.0.4.0 (passed)
- polka.2.71.10 (passed)
- polka.2.71.15 (passed)
- revdeps (passed)
- mlgmpidl.1.2.15-1 (passed)
- 4.14