Opam-CI

(for PR #28015)

Testing in progress...

Summary of errors

(lint) (failed)
- Error in z3.4.15.1: conf packages should always use the 'conf-' name prefix, the 'conf' flag, and the 'depext' field all together, but this package only has a non-empty 'depext' field
compilers
- 4.14
  - z3.4.15.1
    - revdeps
      - nuscr.2.0.0 (failed: The compilation of nuscr.2.0.0 failed at "dune build -p nuscr -j 255 @install @runtest".)

Main results

(analysis) (passed)
(lint) (failed)
- Error in z3.4.15.1: conf packages should always use the 'conf-' name prefix, the 'conf' flag, and the 'depext' field all together, but this package only has a non-empty 'depext' field
compilers
- 4.08
  - z3.4.15.1 (passed)
    - lower-bounds (passed)
- 4.09
  - z3.4.15.1 (passed)
    - lower-bounds (passed)
- 4.10
  - z3.4.15.1 (passed)
    - lower-bounds (passed)
- 4.11
  - z3.4.15.1 (passed)
    - lower-bounds (passed)
- 4.12
  - z3.4.15.1 (passed)
    - lower-bounds (passed)
- 4.13
  - z3.4.15.1 (passed)
    - lower-bounds (passed)
- 4.14
  - z3.4.15.1 (passed)
    - lower-bounds (passed)
- 5.0
  - z3.4.15.1 (passed)
    - lower-bounds (passed)
- 5.1
  - z3.4.15.1 (passed)
    - lower-bounds (passed)
- 5.2
  - z3.4.15.1 (passed)
    - lower-bounds (passed)
- 5.3
  - z3.4.15.1 (passed)
    - lower-bounds (passed)
- 5.4~alpha1
  - z3.4.15.1 (passed)
    - lower-bounds (passed)
distributions
- alpine-3.21-ocaml-4.14
  - z3.4.15.1 (passed)
- alpine-3.21-ocaml-5.3
  - z3.4.15.1 (passed)
- archlinux-ocaml-4.14
  - z3.4.15.1 (passed)
- archlinux-ocaml-5.3
  - z3.4.15.1 (passed)
- debian-11-ocaml-4.14
  - z3.4.15.1 (passed)
- debian-11-ocaml-5.3
  - z3.4.15.1 (passed)
- debian-testing-ocaml-4.14
  - z3.4.15.1 (failed: [SKIP] Package not available)
- debian-testing-ocaml-5.3
  - z3.4.15.1 (failed: [SKIP] Package not available)
- debian-unstable-ocaml-4.14
  - z3.4.15.1 (failed: [SKIP] Package not available)
- debian-unstable-ocaml-5.3
  - z3.4.15.1 (failed: [SKIP] Package not available)
- fedora-41-ocaml-4.14
  - z3.4.15.1 (passed)
- fedora-41-ocaml-5.3
  - z3.4.15.1 (passed)
- fedora-42-ocaml-4.14
  - z3.4.15.1 (passed)
- fedora-42-ocaml-5.3
  - z3.4.15.1 (passed)
- opensuse-15.6-ocaml-4.14
  - z3.4.15.1 (failed: [SKIP] Failure ignored)
- opensuse-15.6-ocaml-5.3
  - z3.4.15.1 (failed: [SKIP] Failure ignored)
- opensuse-tumbleweed-ocaml-4.14
  - z3.4.15.1 (failed: [SKIP] Package not available)
- opensuse-tumbleweed-ocaml-5.3
  - z3.4.15.1 (failed: [SKIP] Package not available)
- ubuntu-22.04-ocaml-4.14
  - z3.4.15.1 (passed)
- ubuntu-22.04-ocaml-5.3
  - z3.4.15.1 (passed)
- ubuntu-24.04-ocaml-4.14
  - z3.4.15.1 (failed: [SKIP] Package not available)
- ubuntu-24.04-ocaml-5.3
  - z3.4.15.1 (failed: [SKIP] Package not available)
- ubuntu-24.10-ocaml-4.14
  - z3.4.15.1 (failed: [SKIP] Package not available)
- ubuntu-24.10-ocaml-5.3
  - z3.4.15.1 (failed: [SKIP] Package not available)
extras
- arm32-ocaml-4.14
  - z3.4.15.1 (passed)
- arm32-ocaml-5.3
  - z3.4.15.1 (failed: [SKIP] Package not available)
- arm64-ocaml-4.14
  - z3.4.15.1 (passed)
- arm64-ocaml-5.3
  - z3.4.15.1 (passed)
- ocaml-4.14-afl
  - z3.4.15.1 (passed)
- ocaml-4.14-flambda
  - z3.4.15.1 (passed)
- ocaml-4.14-flambda-fp
  - z3.4.15.1 (passed)
- ocaml-4.14-fp
  - z3.4.15.1 (passed)
- ocaml-4.14-nnp
  - z3.4.15.1 (passed)
- ocaml-4.14-nnpchecker
  - z3.4.15.1 (passed)
- ocaml-4.14-no-flat-float-array
  - z3.4.15.1 (passed)
- ocaml-5.3-afl
  - z3.4.15.1 (passed)
- ocaml-5.3-flambda
  - z3.4.15.1 (passed)
- ocaml-5.3-no-flat-float-array
  - z3.4.15.1 (passed)
- opam-2.0-ocaml-4.14
  - z3.4.15.1 (passed)
- opam-2.0-ocaml-5.3
  - z3.4.15.1 (passed)
- opam-2.1-ocaml-4.14
  - z3.4.15.1 (passed)
- opam-2.1-ocaml-5.3
  - z3.4.15.1 (passed)
- opam-2.2-ocaml-4.14
  - z3.4.15.1 (passed)
- opam-2.2-ocaml-5.3
  - z3.4.15.1 (passed)
- opam-2.3-ocaml-4.14
  - z3.4.15.1 (passed)
- opam-2.3-ocaml-5.3
  - z3.4.15.1 (passed)
- ppc64-ocaml-4.14
  - z3.4.15.1 (passed)
- ppc64-ocaml-5.3
  - z3.4.15.1 (passed)
- riscv64-ocaml-4.14
  - z3.4.15.1 (failed: [SKIP] Package not available)
- riscv64-ocaml-5.3
  - z3.4.15.1 (failed: [SKIP] Package not available)
- s390x-ocaml-4.14
  - z3.4.15.1 (passed)
- s390x-ocaml-5.3
  - z3.4.15.1 (passed)
- x86_32-ocaml-4.14
  - z3.4.15.1 (passed)
- x86_32-ocaml-5.3
  - z3.4.15.1 (failed: [SKIP] Package not available)
freebsd (experimental)
- freebsd-14.2-ocaml-4.14-amd64 (experimental)
  - z3.4.15.1 (passed)
- freebsd-14.2-ocaml-5.3-amd64 (experimental)
  - z3.4.15.1 (passed)
macos
- macos-homebrew-ocaml-4.14-amd64 (experimental)
  - z3.4.15.1 (passed)
- macos-homebrew-ocaml-4.14-arm64 (experimental)
  - z3.4.15.1 (passed)
- macos-homebrew-ocaml-5.3-amd64 (experimental)
  - z3.4.15.1 (passed)
- macos-homebrew-ocaml-5.3-arm64 (experimental)
  - z3.4.15.1 (passed)

Reverse dependencies

compilers
- 4.14
  - z3.4.15.1 (passed)
    - revdeps (passed)
- 5.3
  - z3.4.15.1 (passed)
    - revdeps (passed)