(for PR #26907)
Summary of errors
- compilers
- 4.14
- apron.0.9.14
- 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
- apron.v0.9.12
- 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
- apron.v0.9.14
- 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
- apron.0.9.14
- 4.14
- distributions
- alpine-3.20-ocaml-4.14
- archlinux-ocaml-4.14
- fedora-40-ocaml-4.14
- fedora-41-ocaml-4.14
- opensuse-tumbleweed-ocaml-4.14
- opensuse-tumbleweed-ocaml-5.2
- freebsd (experimental)
- freebsd-ocaml-4.14-amd64 (experimental)
- macos
- macos-homebrew-ocaml-4.14-amd64 (experimental)
- macos-homebrew-ocaml-4.14-arm64 (experimental)
- apron.0.9.14 (failed: The compilation of apron.0.9.14 failed at "sh -exec ./configure --prefix /Users/mac1000/.opam/4.14.2/share/apron --mpfr-prefix $HOMEBREW_PREFIX/opt/mpfr --gmp-prefix $HOMEBREW_PREFIX/opt/gmp --absolute-dylibs --debug --no-strip".)
- apron.v0.9.12 (failed: The compilation of apron.v0.9.12 failed at "sh -exec ./configure --prefix /Users/mac1000/.opam/4.14.2/share/apron --mpfr-prefix $HOMEBREW_PREFIX/opt/mpfr --gmp-prefix $HOMEBREW_PREFIX/opt/gmp --absolute-dylibs --debug --no-strip".)
- apron.v0.9.14 (failed: Failed: Build failed)
- macos-homebrew-ocaml-5.2-amd64 (experimental)
- macos-homebrew-ocaml-5.2-arm64 (experimental)
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)
- apron.0.9.14 (passed)
- apron.v0.9.12 (failed: The compilation of apron.v0.9.12 failed at "sh -exec ./configure --prefix /Users/mac1000/.opam/4.14.2/share/apron --mpfr-prefix $HOMEBREW_PREFIX/opt/mpfr --gmp-prefix $HOMEBREW_PREFIX/opt/gmp --absolute-dylibs --debug --no-strip".)
- apron.v0.9.14 (failed: Failed: Build failed)
- macos-homebrew-ocaml-4.14-arm64 (experimental)
- apron.0.9.14 (failed: The compilation of apron.0.9.14 failed at "sh -exec ./configure --prefix /Users/mac1000/.opam/4.14.2/share/apron --mpfr-prefix $HOMEBREW_PREFIX/opt/mpfr --gmp-prefix $HOMEBREW_PREFIX/opt/gmp --absolute-dylibs --debug --no-strip".)
- apron.v0.9.12 (failed: The compilation of apron.v0.9.12 failed at "sh -exec ./configure --prefix /Users/mac1000/.opam/4.14.2/share/apron --mpfr-prefix $HOMEBREW_PREFIX/opt/mpfr --gmp-prefix $HOMEBREW_PREFIX/opt/gmp --absolute-dylibs --debug --no-strip".)
- apron.v0.9.14 (failed: Failed: Build failed)
- macos-homebrew-ocaml-5.2-amd64 (experimental)
- macos-homebrew-ocaml-5.2-arm64 (experimental)
- apron.0.9.14 (failed: The compilation of apron.0.9.14 failed at "sh -exec ./configure --prefix /Users/mac1000/.opam/5.2.0/share/apron --mpfr-prefix $HOMEBREW_PREFIX/opt/mpfr --gmp-prefix $HOMEBREW_PREFIX/opt/gmp --absolute-dylibs --debug --no-strip".)
- apron.v0.9.12 (failed: [SKIP] Package not available)
- apron.v0.9.14 (passed)
- macos-homebrew-ocaml-4.14-amd64 (experimental)
Reverse dependencies
- compilers
- 4.14
- apron.0.9.14 (passed)
- revdeps (passed)
- absolute.0.1 (passed)
- absolute.0.2 (passed)
- absolute.0.3 (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)
- 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)
- frama-c.26.0 (passed)
- frama-c.26.0~beta (passed)
- frama-c.26.1 (passed)
- frama-c.27.0 (passed)
- frama-c.27.0~beta (passed)
- frama-c.27.1 (passed)
- frama-c.28.0 (passed)
- frama-c.28.0~beta (passed)
- frama-c.28.1 (passed)
- frama-c.29.0 (passed)
- frama-c.29.0~beta (passed)
- frama-c.30.0~beta (passed)
- goblint.2.0.0 (passed)
- goblint.2.0.1 (passed)
- goblint.2.1.0 (passed)
- goblint.2.2.1 (passed)
- goblint.2.3.0 (passed)
- libabsolute.0.1 (passed)
- picasso.0.1 (passed)
- picasso.0.2.0 (passed)
- picasso.0.3.0 (passed)
- picasso.0.4.0 (passed)
- revdeps (passed)
- apron.v0.9.12 (passed)
- revdeps (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)
- frama-c.26.0 (passed)
- frama-c.26.0~beta (passed)
- frama-c.26.1 (passed)
- frama-c.27.0 (passed)
- frama-c.27.0~beta (passed)
- frama-c.27.1 (passed)
- frama-c.28.0 (passed)
- frama-c.28.0~beta (passed)
- frama-c.28.1 (passed)
- frama-c.29.0 (passed)
- frama-c.29.0~beta (passed)
- frama-c.30.0~beta (passed)
- 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)
- memcad.1.1.0 (passed)
- mopsa.1.0 (passed)
- revdeps (passed)
- apron.v0.9.14 (passed)
- revdeps (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)
- frama-c.26.0 (passed)
- frama-c.26.0~beta (passed)
- frama-c.26.1 (passed)
- frama-c.27.0 (passed)
- frama-c.27.0~beta (passed)
- frama-c.27.1 (passed)
- frama-c.28.0 (passed)
- frama-c.28.0~beta (passed)
- frama-c.28.1 (passed)
- frama-c.29.0 (passed)
- frama-c.29.0~beta (passed)
- frama-c.30.0~beta (passed)
- 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)
- memcad.1.1.0 (passed)
- mopsa.1.0 (passed)
- revdeps (passed)
- apron.0.9.14 (passed)
- 5.2
- apron.0.9.14 (passed)
- revdeps (passed)
- absolute.0.1 (passed)
- absolute.0.2 (passed)
- absolute.0.3 (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)
- elina.1.0 (passed)
- elina.1.1 (passed)
- elina.1.3 (passed)
- elina.1.3.1 (passed)
- elina.1.3.2 (passed)
- frama-c.27.0 (passed)
- frama-c.27.0~beta (passed)
- frama-c.27.1 (passed)
- frama-c.28.0 (passed)
- frama-c.28.0~beta (passed)
- frama-c.28.1 (passed)
- frama-c.29.0 (passed)
- frama-c.29.0~beta (passed)
- frama-c.30.0~beta (passed)
- goblint.2.2.1 (passed)
- goblint.2.3.0 (passed)
- libabsolute.0.1 (passed)
- picasso.0.1 (passed)
- picasso.0.2.0 (passed)
- picasso.0.3.0 (passed)
- picasso.0.4.0 (passed)
- revdeps (passed)
- apron.v0.9.12 (failed: [SKIP] Package not available)
- apron.v0.9.14 (passed)
- revdeps (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.27.0 (passed)
- frama-c.27.0~beta (passed)
- frama-c.27.1 (passed)
- frama-c.28.0 (passed)
- frama-c.28.0~beta (passed)
- frama-c.28.1 (passed)
- frama-c.29.0 (passed)
- frama-c.29.0~beta (passed)
- frama-c.30.0~beta (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)
- mopsa.1.0 (passed)
- revdeps (passed)
- apron.0.9.14 (passed)
- 4.14