(for PR #30024)
Summary of errors
- (lint) (failed)
- Warning in store-pushqueue.0.1: Unnecessary field 'version'. It is suggested to remove it.
- Warning in store-dict.0.1: Unnecessary field 'version'. It is suggested to remove it.
- compilers
- 4.14
- store.0.2
- revdeps
- 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 -j71 @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 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.16 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.17 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.17~beta (failed: 'stack' in namespace 'std' does not name a template type)
- pilat.1.6 (failed: frama-c.25.0 failed to build)
- revdeps
- store.0.2
- 5.4
- 4.14
Main results
- (analysis) (passed)
- (lint) (failed)
- Warning in store-pushqueue.0.1: Unnecessary field 'version'. It is suggested to remove it.
- Warning in store-dict.0.1: Unnecessary field 'version'. It is suggested to remove it.
- 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
- store-dict.0.1 (passed)
- store-pushqueue.0.1 (failed: [SKIP] Package not available)
- store.0.2 (passed)
- revdeps (passed)
- catala.0.2.0 (passed)
- catala.0.7.0 (passed)
- catala.0.8.0 (passed)
- frama-c-lannotate.0.2.3 (passed)
- frama-c-lannotate.0.2.4 (passed)
- frama-c-lannotate.0.2.5 (passed)
- frama-c-luncov.0.2.1 (passed)
- frama-c-luncov.0.2.4 (passed)
- frama-c-metacsl.0.10 (passed)
- frama-c-metacsl.0.10~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-metacsl.0.9 (passed)
- frama-c-metacsl.0.9~beta (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 -j71 @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-c.31.0 (passed)
- frama-c.31.0~beta (passed)
- frama-c.32.0 (passed)
- frama-c.32.0~beta (passed)
- frama-clang.0.0.15 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.16 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.17 (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.17~beta (failed: 'stack' in namespace 'std' does not name a template type)
- frama-clang.0.0.18 (passed)
- frama-clang.0.0.18~beta (passed)
- frama-clang.0.0.19 (passed)
- frama_c_codex.1.0-rc4 (passed)
- inferno.20220603 (passed)
- pilat.1.6 (failed: frama-c.25.0 failed to build)
- revdeps (passed)
- 5.4
- store-dict.0.1 (passed)
- store-pushqueue.0.1 (passed)
- store.0.2 (passed)
- revdeps (passed)
- catala.0.2.0 (passed)
- frama-c-lannotate.0.2.4 (passed)
- frama-c-lannotate.0.2.5 (passed)
- frama-c-luncov.0.2.4 (passed)
- frama-c-metacsl.0.10 (passed)
- frama-c-metacsl.0.10~beta (passed)
- frama-c-metacsl.0.9 (passed)
- frama-c-metacsl.0.9~beta (passed)
- frama-c.31.0 (failed: The compilation of frama-c.31.0 failed at "dune build -j71 @ptests_config".)
- frama-c.31.0~beta (failed: The compilation of frama-c.31.0~beta failed at "dune build -j71 @ptests_config".)
- frama-c.32.0 (passed)
- frama-c.32.0~beta (passed)
- frama-clang.0.0.19 (passed)
- frama_c_codex.1.0-rc4 (passed)
- inferno.20220603 (passed)
- unionFind.20260226 (passed)
- revdeps (passed)
- 4.14