Summary of errors
- compilers
- 4.14
- alt-ergo-lib.2.6.1
- revdeps
- frama-c-luncov.0.1 (failed: frama-c.25.0~beta failed to build)
- frama-c-metacsl.0.1 (failed: frama-c.22.0 failed to build)
- frama-c-metacsl.0.4 (failed: frama-c.26.1 failed to build)
- 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 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.26.0~beta (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.26.1 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.28.0 (failed: The compilation of frama-c.28.0 failed at "dune build -j71 @ptests_config".)
- frama-c.28.0~beta (failed: The compilation of frama-c.28.0~beta failed at "dune build -j71 @ptests_config".)
- frama-c.28.1 (failed: The compilation of frama-c.28.1 failed at "dune build -j255 @ptests_config".)
- frama-c.29.0 (failed: The compilation of frama-c.29.0 failed at "dune build -j71 @ptests_config".)
- frama-c.29.0~beta (failed: The compilation of frama-c.29.0~beta failed at "dune build -j71 @ptests_config".)
- frama-c.30.0 (failed: The compilation of frama-c.30.0 failed at "dune build -j71 @ptests_config".)
- frama-c.30.0~beta (failed: The compilation of frama-c.30.0~beta failed at "dune build -j31 @ptests_config".)
- pilat.1.6 (failed: frama-c.22.0 failed to build)
- smtml.0.3.1 (failed: Unbound module AEL.Translate)
- smtml.0.4.0 (failed: Unbound module AEL.Translate)
- smtml.0.4.1 (failed: Unbound module AEL.Translate)
- smtml.0.5.0 (failed: Unbound module AEL.Translate)
- smtml.0.6.0 (failed: Unbound module AEL.Translate)
- revdeps
- alt-ergo-parsers.2.6.1
- revdeps
- frama-c-luncov.0.1 (failed: frama-c.25.0~beta failed to build)
- frama-c-metacsl.0.1 (failed: frama-c.22.0 failed to build)
- frama-c-metacsl.0.4 (failed: frama-c.26.1 failed to build)
- 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 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.26.0~beta (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.26.1 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.28.0 (failed: The compilation of frama-c.28.0 failed at "dune build -j39 @ptests_config".)
- frama-c.28.0~beta (failed: The compilation of frama-c.28.0~beta failed at "dune build -j39 @ptests_config".)
- frama-c.28.1 (failed: The compilation of frama-c.28.1 failed at "dune build -j255 @ptests_config".)
- frama-c.29.0 (failed: The compilation of frama-c.29.0 failed at "dune build -j71 @ptests_config".)
- frama-c.29.0~beta (failed: The compilation of frama-c.29.0~beta failed at "dune build -j71 @ptests_config".)
- frama-c.30.0 (failed: The compilation of frama-c.30.0 failed at "dune build -j71 @ptests_config".)
- frama-c.30.0~beta (failed: The compilation of frama-c.30.0~beta failed at "dune build -j71 @ptests_config".)
- pilat.1.6 (failed: frama-c.22.0 failed to build)
- revdeps
- alt-ergo.2.6.1
- revdeps
- frama-c-luncov.0.1 (failed: frama-c.25.0~beta failed to build)
- frama-c-metacsl.0.1 (failed: frama-c.22.0 failed to build)
- frama-c-metacsl.0.4 (failed: frama-c.26.1 failed to build)
- 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 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.26.0~beta (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.26.1 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.28.0 (failed: The compilation of frama-c.28.0 failed at "dune build -j31 @ptests_config".)
- frama-c.28.0~beta (failed: The compilation of frama-c.28.0~beta failed at "dune build -j255 @ptests_config".)
- frama-c.28.1 (failed: The compilation of frama-c.28.1 failed at "dune build -j31 @ptests_config".)
- frama-c.29.0 (failed: The compilation of frama-c.29.0 failed at "dune build -j255 @ptests_config".)
- frama-c.29.0~beta (failed: The compilation of frama-c.29.0~beta failed at "dune build -j39 @ptests_config".)
- frama-c.30.0 (failed: The compilation of frama-c.30.0 failed at "dune build -j255 @ptests_config".)
- frama-c.30.0~beta (failed: The compilation of frama-c.30.0~beta failed at "dune build -j255 @ptests_config".)
- pilat.1.6 (failed: frama-c.22.0 failed to build)
- revdeps
- alt-ergo-lib.2.6.1
- 5.3
- alt-ergo-lib.2.6.1
- revdeps
- frama-c.30.0 (failed: The compilation of frama-c.30.0 failed at "dune build -j39 @ptests_config".)
- smtml.0.3.1 (failed: Unbound module "AEL.Translate")
- smtml.0.4.0 (failed: Unbound module "AEL.Translate")
- smtml.0.4.1 (failed: Unbound module "AEL.Translate")
- smtml.0.5.0 (failed: Unbound module "AEL.Translate")
- smtml.0.6.0 (failed: Unbound module "AEL.Translate")
- revdeps
- alt-ergo-parsers.2.6.1
- alt-ergo.2.6.1
- alt-ergo-lib.2.6.1
- 4.14
Main results
- (analysis) (passed)
- (lint) (passed)
- compilers
- 4.08
- 4.09
- 4.10
- 4.11
- 4.12
- 4.13
- 4.14
- 5.0
- 5.1
- 5.2
- 5.3
- distributions
- alpine-3.21-ocaml-4.14
- alpine-3.21-ocaml-5.3
- archlinux-ocaml-4.14
- archlinux-ocaml-5.3
- debian-11-ocaml-4.14
- debian-11-ocaml-5.3
- debian-testing-ocaml-4.14
- debian-testing-ocaml-5.3
- debian-unstable-ocaml-4.14
- debian-unstable-ocaml-5.3
- fedora-40-ocaml-4.14
- fedora-40-ocaml-5.3
- fedora-41-ocaml-4.14
- fedora-41-ocaml-5.3
- opensuse-15.6-ocaml-4.14
- opensuse-15.6-ocaml-5.3
- opensuse-tumbleweed-ocaml-4.14
- opensuse-tumbleweed-ocaml-5.3
- ubuntu-20.04-ocaml-4.14
- ubuntu-20.04-ocaml-5.3
- ubuntu-22.04-ocaml-4.14
- ubuntu-22.04-ocaml-5.3
- ubuntu-24.04-ocaml-4.14
- ubuntu-24.04-ocaml-5.3
- ubuntu-24.10-ocaml-4.14
- ubuntu-24.10-ocaml-5.3
- extras
- arm32-ocaml-4.14
- arm32-ocaml-5.3
- arm64-ocaml-4.14
- arm64-ocaml-5.3
- 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.3-afl
- ocaml-5.3-flambda
- ocaml-5.3-no-flat-float-array
- opam-2.0-ocaml-4.14
- opam-2.0-ocaml-5.3
- opam-2.1-ocaml-4.14
- opam-2.1-ocaml-5.3
- opam-2.2-ocaml-4.14
- opam-2.2-ocaml-5.3
- opam-2.3-ocaml-4.14
- opam-2.3-ocaml-5.3
- ppc64-ocaml-4.14
- ppc64-ocaml-5.3
- riscv64-ocaml-4.14
- riscv64-ocaml-5.3
- s390x-ocaml-4.14
- s390x-ocaml-5.3
- x86_32-ocaml-4.14
- x86_32-ocaml-5.3
- freebsd (experimental)
- freebsd-14.2-ocaml-4.14-amd64 (experimental)
- freebsd-14.2-ocaml-5.3-amd64 (experimental)
- macos
- macos-homebrew-ocaml-4.14-amd64 (experimental)
- macos-homebrew-ocaml-4.14-arm64 (experimental)
- macos-homebrew-ocaml-5.3-amd64 (experimental)
- macos-homebrew-ocaml-5.3-arm64 (experimental)
Reverse dependencies
- compilers
- 4.14
- alt-ergo-lib.2.6.1 (passed)
- revdeps (passed)
- frama-c-lannotate.0.1 (passed)
- frama-c-lannotate.0.2 (passed)
- frama-c-lannotate.0.2.3 (passed)
- frama-c-luncov.0.1 (failed: frama-c.25.0~beta failed to build)
- frama-c-luncov.0.2 (passed)
- frama-c-luncov.0.2.1 (passed)
- frama-c-metacsl.0.1 (failed: frama-c.22.0 failed to build)
- frama-c-metacsl.0.2 (passed)
- frama-c-metacsl.0.3 (passed)
- frama-c-metacsl.0.4 (failed: frama-c.26.1 failed to build)
- frama-c-metacsl.0.5 (passed)
- frama-c-metacsl.0.5~beta (passed)
- frama-c-metacsl.0.6 (passed)
- frama-c-metacsl.0.7 (passed)
- frama-c-metacsl.0.8 (passed)
- frama-c-metacsl.0.8~beta (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 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.26.0~beta (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.26.1 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.27.0 (passed)
- frama-c.27.0~beta (passed)
- frama-c.27.1 (passed)
- frama-c.28.0 (failed: The compilation of frama-c.28.0 failed at "dune build -j71 @ptests_config".)
- frama-c.28.0~beta (failed: The compilation of frama-c.28.0~beta failed at "dune build -j71 @ptests_config".)
- frama-c.28.1 (failed: The compilation of frama-c.28.1 failed at "dune build -j255 @ptests_config".)
- frama-c.29.0 (failed: The compilation of frama-c.29.0 failed at "dune build -j71 @ptests_config".)
- frama-c.29.0~beta (failed: The compilation of frama-c.29.0~beta failed at "dune build -j71 @ptests_config".)
- frama-c.30.0 (failed: The compilation of frama-c.30.0 failed at "dune build -j71 @ptests_config".)
- frama-c.30.0~beta (failed: The compilation of frama-c.30.0~beta failed at "dune build -j31 @ptests_config".)
- frama-clang.0.0.15 (passed)
- frama-clang.0.0.16 (passed)
- frama-clang.0.0.17 (passed)
- frama-clang.0.0.17~beta (passed)
- pilat.1.6 (failed: frama-c.22.0 failed to build)
- smtml.0.3.1 (failed: Unbound module AEL.Translate)
- smtml.0.4.0 (failed: Unbound module AEL.Translate)
- smtml.0.4.1 (failed: Unbound module AEL.Translate)
- smtml.0.5.0 (failed: Unbound module AEL.Translate)
- smtml.0.6.0 (failed: Unbound module AEL.Translate)
- smtml.0.6.1 (passed)
- smtml.0.6.2 (passed)
- revdeps (passed)
- alt-ergo-parsers.2.6.1 (passed)
- revdeps (passed)
- frama-c-lannotate.0.1 (passed)
- frama-c-lannotate.0.2 (passed)
- frama-c-lannotate.0.2.3 (passed)
- frama-c-luncov.0.1 (failed: frama-c.25.0~beta failed to build)
- frama-c-luncov.0.2 (passed)
- frama-c-luncov.0.2.1 (passed)
- frama-c-metacsl.0.1 (failed: frama-c.22.0 failed to build)
- frama-c-metacsl.0.2 (passed)
- frama-c-metacsl.0.3 (passed)
- frama-c-metacsl.0.4 (failed: frama-c.26.1 failed to build)
- frama-c-metacsl.0.5 (passed)
- frama-c-metacsl.0.5~beta (passed)
- frama-c-metacsl.0.6 (passed)
- frama-c-metacsl.0.7 (passed)
- frama-c-metacsl.0.8 (passed)
- frama-c-metacsl.0.8~beta (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 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.26.0~beta (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.26.1 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.27.0 (passed)
- frama-c.27.0~beta (passed)
- frama-c.27.1 (passed)
- frama-c.28.0 (failed: The compilation of frama-c.28.0 failed at "dune build -j39 @ptests_config".)
- frama-c.28.0~beta (failed: The compilation of frama-c.28.0~beta failed at "dune build -j39 @ptests_config".)
- frama-c.28.1 (failed: The compilation of frama-c.28.1 failed at "dune build -j255 @ptests_config".)
- frama-c.29.0 (failed: The compilation of frama-c.29.0 failed at "dune build -j71 @ptests_config".)
- frama-c.29.0~beta (failed: The compilation of frama-c.29.0~beta failed at "dune build -j71 @ptests_config".)
- frama-c.30.0 (failed: The compilation of frama-c.30.0 failed at "dune build -j71 @ptests_config".)
- frama-c.30.0~beta (failed: The compilation of frama-c.30.0~beta failed at "dune build -j71 @ptests_config".)
- frama-clang.0.0.15 (passed)
- frama-clang.0.0.16 (passed)
- frama-clang.0.0.17 (passed)
- frama-clang.0.0.17~beta (passed)
- pilat.1.6 (failed: frama-c.22.0 failed to build)
- revdeps (passed)
- alt-ergo-plugin-ab-why3.2.6.1 (passed)
- alt-ergo.2.6.1 (passed)
- revdeps (passed)
- frama-c-lannotate.0.1 (passed)
- frama-c-lannotate.0.2 (passed)
- frama-c-lannotate.0.2.3 (passed)
- frama-c-luncov.0.1 (failed: frama-c.25.0~beta failed to build)
- frama-c-luncov.0.2 (passed)
- frama-c-luncov.0.2.1 (passed)
- frama-c-metacsl.0.1 (failed: frama-c.22.0 failed to build)
- frama-c-metacsl.0.2 (passed)
- frama-c-metacsl.0.3 (passed)
- frama-c-metacsl.0.4 (failed: frama-c.26.1 failed to build)
- frama-c-metacsl.0.5 (passed)
- frama-c-metacsl.0.5~beta (passed)
- frama-c-metacsl.0.6 (passed)
- frama-c-metacsl.0.7 (passed)
- frama-c-metacsl.0.8 (passed)
- frama-c-metacsl.0.8~beta (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 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.26.0~beta (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.26.1 (failed: The installation of frama-c failed at "make PREFIX=/home/opam/.opam/4.14 MANDIR= install".)
- frama-c.27.0 (passed)
- frama-c.27.0~beta (passed)
- frama-c.27.1 (passed)
- frama-c.28.0 (failed: The compilation of frama-c.28.0 failed at "dune build -j31 @ptests_config".)
- frama-c.28.0~beta (failed: The compilation of frama-c.28.0~beta failed at "dune build -j255 @ptests_config".)
- frama-c.28.1 (failed: The compilation of frama-c.28.1 failed at "dune build -j31 @ptests_config".)
- frama-c.29.0 (failed: The compilation of frama-c.29.0 failed at "dune build -j255 @ptests_config".)
- frama-c.29.0~beta (failed: The compilation of frama-c.29.0~beta failed at "dune build -j39 @ptests_config".)
- frama-c.30.0 (failed: The compilation of frama-c.30.0 failed at "dune build -j255 @ptests_config".)
- frama-c.30.0~beta (failed: The compilation of frama-c.30.0~beta failed at "dune build -j255 @ptests_config".)
- frama-clang.0.0.15 (passed)
- frama-clang.0.0.16 (passed)
- frama-clang.0.0.17 (passed)
- frama-clang.0.0.17~beta (passed)
- lambdapi.2.2.0 (passed)
- pilat.1.6 (failed: frama-c.22.0 failed to build)
- revdeps (passed)
- alt-ergo-lib.2.6.1 (passed)
- 5.3
- alt-ergo-lib.2.6.1 (passed)
- revdeps (passed)
- frama-c-metacsl.0.8 (passed)
- frama-c-metacsl.0.8~beta (passed)
- frama-c.30.0 (failed: The compilation of frama-c.30.0 failed at "dune build -j39 @ptests_config".)
- frama-clang.0.0.17 (passed)
- frama-clang.0.0.17~beta (passed)
- smtml.0.3.1 (failed: Unbound module "AEL.Translate")
- smtml.0.4.0 (failed: Unbound module "AEL.Translate")
- smtml.0.4.1 (failed: Unbound module "AEL.Translate")
- smtml.0.5.0 (failed: Unbound module "AEL.Translate")
- smtml.0.6.0 (failed: Unbound module "AEL.Translate")
- smtml.0.6.1 (passed)
- smtml.0.6.2 (passed)
- revdeps (passed)
- alt-ergo-parsers.2.6.1 (passed)
- alt-ergo-plugin-ab-why3.2.6.1 (passed)
- alt-ergo.2.6.1 (passed)
- alt-ergo-lib.2.6.1 (passed)
- 4.14