1. github
2. ocaml
3. opam-repository
4. 205800

(for PR #23244)

Summary of errors

• (lint) (failed: 3 errors)
• compilers
  • 5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
• distributions
  • alpine-3.16-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"Error loading shared library /home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: No such file or directory\\\")\")"))
  • alpine-3.17-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"Error loading shared library /home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: No such file or directory\\\")\")"))
  • archlinux-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • debian-10-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • debian-testing-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • debian-unstable-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • fedora-36-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • fedora-37-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • opensuse-15.4-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • oraclelinux-8-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • ubuntu-18.04-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • ubuntu-20.04-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • ubuntu-22.04-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • ubuntu-22.10-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
• extras
  • arm32-ocaml-5.0
    • antic.0.1.5 (failed: flint.0.1.5 failed to build)
    • antic.0.2.1 (failed: flint.0.2.1 failed to build)
    • arb.0.1.5 (failed: flint.0.1.5 failed to build)
    • arb.0.2.1 (failed: flint.0.2.1 failed to build)
    • calcium.0.1.5 (failed: flint.0.1.5 failed to build)
    • calcium.0.2.1 (failed: flint.0.2.1 failed to build)
    • flint.0.2.1 (failed: File unavailable: /home/opam/.opam/5.0/lib/zarith/zarith.cmxa)
  • arm64-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • ocaml-5.0-afl
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • ocaml-5.0-flambda
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • ocaml-5.0-no-flat-float-array
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • opam-2.0-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • opam-2.1-ocaml-5.0
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • ppc64-ocaml-5.0
    • antic.0.1.5 (failed: flint.0.1.5 failed to build)
    • antic.0.2.1 (failed: flint.0.2.1 failed to build)
    • arb.0.1.5 (failed: flint.0.1.5 failed to build)
    • arb.0.2.1 (failed: flint.0.2.1 failed to build)
    • calcium.0.1.5 (failed: flint.0.1.5 failed to build)
    • calcium.0.2.1 (failed: flint.0.2.1 failed to build)
    • flint.0.2.1 (failed: File unavailable: /home/opam/.opam/5.0/lib/zarith/zarith.cmxa)
  • s390x-ocaml-4.14
    • calcium.0.2.1 (failed: The compilation of calcium.0.2.1 failed at "dune build -p calcium -j 3 @install".)
  • s390x-ocaml-5.0
    • antic.0.1.5 (failed: flint.0.1.5 failed to build)
    • antic.0.2.1 (failed: flint.0.2.1 failed to build)
    • arb.0.1.5 (failed: flint.0.1.5 failed to build)
    • arb.0.2.1 (failed: flint.0.2.1 failed to build)
    • calcium.0.1.5 (failed: flint.0.1.5 failed to build)
    • calcium.0.2.1 (failed: flint.0.2.1 failed to build)
    • flint.0.2.1 (failed: File unavailable: /home/opam/.opam/5.0/lib/zarith/zarith.cmxa)
  • x86_32-ocaml-5.0
    • antic.0.1.5 (failed: flint.0.1.5 failed to build)
    • antic.0.2.1 (failed: flint.0.2.1 failed to build)
    • arb.0.1.5 (failed: flint.0.1.5 failed to build)
    • arb.0.2.1 (failed: flint.0.2.1 failed to build)
    • calcium.0.1.5 (failed: flint.0.1.5 failed to build)
    • calcium.0.2.1 (failed: flint.0.2.1 failed to build)
    • flint.0.2.1 (failed: File unavailable: /home/opam/.opam/5.0/lib/zarith/zarith.cmxa)
• macos
  • macos-homebrew-ocaml-4.14-amd64 (experimental)
    • antic.0.1.5 (failed: flint.0.1.5 failed to build)
    • arb.0.1.5 (failed: flint.0.1.5 failed to build)
    • calcium.0.1.5 (failed: flint.0.1.5 failed to build)
  • macos-homebrew-ocaml-4.14-arm64 (experimental)
    • antic.0.1.5 (failed: flint.0.1.5 failed to build)
    • antic.0.2.1 (failed: flint.0.2.1 failed to build)
    • arb.0.1.5 (failed: flint.0.1.5 failed to build)
    • arb.0.2.1 (failed: System package install failed with exit code 1 at command:)
    • calcium.0.1.5 (failed: flint.0.1.5 failed to build)
    • calcium.0.2.1 (failed: flint.0.2.1 failed to build)
    • colibri2.0.4 (failed: System package install failed with exit code 1 at command:)
    • flint.0.2.1 (failed: The compilation of flint.0.2.1 failed at "dune build -p flint -j 7 @install".)
  • macos-homebrew-ocaml-5.0-amd64 (experimental)
    • antic.0.1.5 (failed: flint.0.1.5 failed to build)
    • arb.0.1.5 (failed: flint.0.1.5 failed to build)
    • calcium.0.1.5 (failed: flint.0.1.5 failed to build)
    • flint.0.2.1
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"dlopen(/Users/mac1000/.opam/5.0.0/lib/ctypes/ctypes.cmxs, 0x000A): tried: '/Users/mac1000/.opam/5.0.0/lib/ctypes/ctypes.cmxs' (no such file), '/System/Volumes/Preboot/Cryptexes/OS/Users/mac1000/.opam/5.0.0/lib/ctypes/ctypes.cmxs' (no such file), '/Users/mac1000/.opam/5.0.0/lib/ctypes/ctypes.cmxs' (no such file)\\\")\")"))
  • macos-homebrew-ocaml-5.0-arm64 (experimental)
    • antic.0.1.5 (failed: flint.0.1.5 failed to build)
    • antic.0.2.1 (failed: flint.0.2.1 failed to build)
    • arb.0.1.5 (failed: flint.0.1.5 failed to build)
    • arb.0.2.1 (failed: flint.0.2.1 failed to build)
    • calcium.0.1.5 (failed: flint.0.1.5 failed to build)
    • calcium.0.2.1 (failed: flint.0.2.1 failed to build)
    • colibri2.0.4 (failed: flint.0.2.1 failed to build)
    • flint.0.2.1 (failed: The compilation of flint.0.2.1 failed at "dune build -p flint -j 7 @install".)

Full results

• (analysis) (passed)
• (lint) (failed: 3 errors)
• compilers
  • 4.02
    • antic.0.1.5 (failed: [SKIP] Package not available)
    • antic.0.2.1 (failed: [SKIP] Package not available)
    • arb.0.1.5 (failed: [SKIP] Package not available)
    • arb.0.2.1 (failed: [SKIP] Package not available)
    • calcium.0.1.5 (failed: [SKIP] Package not available)
    • calcium.0.2.1 (failed: [SKIP] Package not available)
    • colibri2.0.4 (failed: [SKIP] Package not available)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (failed: [SKIP] Package not available)
    • flint.0.2.1 (failed: [SKIP] Package not available)
  • 4.03
    • antic.0.1.5 (failed: [SKIP] Package not available)
    • antic.0.2.1 (failed: [SKIP] Package not available)
    • arb.0.1.5 (failed: [SKIP] Package not available)
    • arb.0.2.1 (failed: [SKIP] Package not available)
    • calcium.0.1.5 (failed: [SKIP] Package not available)
    • calcium.0.2.1 (failed: [SKIP] Package not available)
    • colibri2.0.4 (failed: [SKIP] Package not available)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (failed: [SKIP] Package not available)
    • flint.0.2.1 (failed: [SKIP] Package not available)
  • 4.04
    • antic.0.1.5 (failed: [SKIP] Package not available)
    • antic.0.2.1 (failed: [SKIP] Package not available)
    • arb.0.1.5 (failed: [SKIP] Package not available)
    • arb.0.2.1 (failed: [SKIP] Package not available)
    • calcium.0.1.5 (failed: [SKIP] Package not available)
    • calcium.0.2.1 (failed: [SKIP] Package not available)
    • colibri2.0.4 (failed: [SKIP] Package not available)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (failed: [SKIP] Package not available)
    • flint.0.2.1 (failed: [SKIP] Package not available)
  • 4.05
    • antic.0.1.5 (failed: [SKIP] Package not available)
    • antic.0.2.1 (failed: [SKIP] Package not available)
    • arb.0.1.5 (failed: [SKIP] Package not available)
    • arb.0.2.1 (failed: [SKIP] Package not available)
    • calcium.0.1.5 (failed: [SKIP] Package not available)
    • calcium.0.2.1 (failed: [SKIP] Package not available)
    • colibri2.0.4 (failed: [SKIP] Package not available)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (failed: [SKIP] Package not available)
    • flint.0.2.1 (failed: [SKIP] Package not available)
  • 4.06
    • antic.0.1.5 (failed: [SKIP] Package not available)
    • antic.0.2.1 (failed: [SKIP] Package not available)
    • arb.0.1.5 (failed: [SKIP] Package not available)
    • arb.0.2.1 (failed: [SKIP] Package not available)
    • calcium.0.1.5 (failed: [SKIP] Package not available)
    • calcium.0.2.1 (failed: [SKIP] Package not available)
    • colibri2.0.4 (failed: [SKIP] Package not available)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (failed: [SKIP] Package not available)
    • flint.0.2.1 (failed: [SKIP] Package not available)
  • 4.07
    • antic.0.1.5 (failed: [SKIP] Package not available)
    • antic.0.2.1 (failed: [SKIP] Package not available)
    • arb.0.1.5 (failed: [SKIP] Package not available)
    • arb.0.2.1 (failed: [SKIP] Package not available)
    • calcium.0.1.5 (failed: [SKIP] Package not available)
    • calcium.0.2.1 (failed: [SKIP] Package not available)
    • colibri2.0.4 (failed: [SKIP] Package not available)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (failed: [SKIP] Package not available)
    • flint.0.2.1 (failed: [SKIP] Package not available)
  • 4.08
    • antic.0.1.5 (failed: [SKIP] Package not available)
    • antic.0.2.1 (failed: [SKIP] Package not available)
    • arb.0.1.5 (failed: [SKIP] Package not available)
    • arb.0.2.1 (failed: [SKIP] Package not available)
    • calcium.0.1.5 (failed: [SKIP] Package not available)
    • calcium.0.2.1 (failed: [SKIP] Package not available)
    • colibri2.0.4 (failed: [SKIP] Package not available)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (failed: [SKIP] Package not available)
    • flint.0.2.1 (failed: [SKIP] Package not available)
  • 4.09
    • antic.0.1.5 (failed: [SKIP] Package not available)
    • antic.0.2.1 (failed: [SKIP] Package not available)
    • arb.0.1.5 (failed: [SKIP] Package not available)
    • arb.0.2.1 (failed: [SKIP] Package not available)
    • calcium.0.1.5 (failed: [SKIP] Package not available)
    • calcium.0.2.1 (failed: [SKIP] Package not available)
    • colibri2.0.4 (failed: [SKIP] Package not available)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (failed: [SKIP] Package not available)
    • flint.0.2.1 (failed: [SKIP] Package not available)
  • 4.10
    • antic.0.1.5 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • colibri2.0.4 (failed: [SKIP] Package not available)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (failed: [SKIP] Package not available)
    • flint.0.2.1 (passed)
      • lower-bounds (passed)
      • tests (passed)
  • 4.11
    • antic.0.1.5 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • colibri2.0.4 (failed: [SKIP] Package not available)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (failed: [SKIP] Package not available)
    • flint.0.2.1 (passed)
      • lower-bounds (passed)
      • tests (passed)
  • 4.12
    • antic.0.1.5 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • lower-bounds (passed)
      • tests (passed)
  • 4.13
    • antic.0.1.5 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • lower-bounds (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • lower-bounds (passed)
      • tests (passed)
  • 4.14
    • antic.0.1.5 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
        • calcium.0.1.5 (passed)
        • colibri2.0.3.3 (passed)
        • colibri2.0.4 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
        • calcium.0.2.1 (passed)
        • colibri2.0.3.3 (passed)
        • colibri2.0.4 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
        • calcium.0.1.5 (passed)
        • colibri2.0.3.3 (passed)
        • colibri2.0.4 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
        • calcium.0.2.1 (passed)
        • colibri2.0.3.3 (passed)
        • colibri2.0.4 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
        • colibri2.0.3.3 (passed)
        • colibri2.0.4 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
        • colibri2.0.3.3 (passed)
        • colibri2.0.4 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
        • colibri2.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
        • antic.0.2.1 (passed)
        • arb.0.2.1 (passed)
        • calcium.0.2.1 (passed)
        • colibri2.0.3.3 (passed)
        • colibri2.0.4 (passed)
      • tests (passed)
  • 5.0
    • antic.0.1.5 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
        • calcium.0.1.5 (passed)
        • colibri2.0.4 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
        • calcium.0.2.1 (passed)
        • colibri2.0.4 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
        • calcium.0.1.5 (passed)
        • colibri2.0.4 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
        • calcium.0.2.1 (passed)
        • colibri2.0.4 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
        • colibri2.0.4 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
        • colibri2.0.4 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
        • colibri2.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • lower-bounds (passed)
      • revdeps (passed)
        • antic.0.2.1 (passed)
        • arb.0.2.1 (passed)
        • calcium.0.2.1 (passed)
        • colibri2.0.4 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
• distributions
  • alpine-3.16-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • alpine-3.16-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"Error loading shared library /home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: No such file or directory\\\")\")"))
  • alpine-3.17-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • alpine-3.17-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"Error loading shared library /home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: No such file or directory\\\")\")"))
  • archlinux-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • archlinux-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • debian-10-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • debian-10-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • debian-testing-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • debian-testing-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • debian-unstable-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • debian-unstable-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • fedora-36-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • fedora-36-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • fedora-37-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • fedora-37-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • opensuse-15.4-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • opensuse-15.4-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • oraclelinux-8-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • oraclelinux-8-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • ubuntu-18.04-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • ubuntu-18.04-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • ubuntu-20.04-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • ubuntu-20.04-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • ubuntu-22.04-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • ubuntu-22.04-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • ubuntu-22.10-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • ubuntu-22.10-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
• extras
  • arm32-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • arm32-ocaml-5.0
    • antic.0.1.5 (failed: flint.0.1.5 failed to build)
    • antic.0.2.1 (failed: flint.0.2.1 failed to build)
    • arb.0.1.5 (failed: flint.0.1.5 failed to build)
    • arb.0.2.1 (failed: flint.0.2.1 failed to build)
    • calcium.0.1.5 (failed: flint.0.1.5 failed to build)
    • calcium.0.2.1 (failed: flint.0.2.1 failed to build)
    • colibri2.0.4 (failed: [SKIP] Package not available)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (failed: File unavailable: /home/opam/.opam/5.0/lib/zarith/zarith.cmxa)
  • arm64-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • arm64-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • ocaml-4.14-afl
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • ocaml-4.14-flambda
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • ocaml-4.14-flambda-fp
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • ocaml-4.14-fp
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • ocaml-4.14-nnp
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • ocaml-4.14-nnpchecker
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • ocaml-4.14-no-flat-float-array
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • ocaml-5.0-afl
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • ocaml-5.0-flambda
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • ocaml-5.0-no-flat-float-array
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • opam-2.0-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • opam-2.0-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • opam-2.1-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • opam-2.1-ocaml-5.0
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"/home/opam/.opam/5.0/lib/ctypes/ctypes.cmxs: cannot open shared object file: No such file or directory\\\")\")"))
  • ppc64-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • ppc64-ocaml-5.0
    • antic.0.1.5 (failed: flint.0.1.5 failed to build)
    • antic.0.2.1 (failed: flint.0.2.1 failed to build)
    • arb.0.1.5 (failed: flint.0.1.5 failed to build)
    • arb.0.2.1 (failed: flint.0.2.1 failed to build)
    • calcium.0.1.5 (failed: flint.0.1.5 failed to build)
    • calcium.0.2.1 (failed: flint.0.2.1 failed to build)
    • colibri2.0.4 (failed: [SKIP] Package not available)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (failed: File unavailable: /home/opam/.opam/5.0/lib/zarith/zarith.cmxa)
  • s390x-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (failed: The compilation of calcium.0.2.1 failed at "dune build -p calcium -j 3 @install".)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • s390x-ocaml-5.0
    • antic.0.1.5 (failed: flint.0.1.5 failed to build)
    • antic.0.2.1 (failed: flint.0.2.1 failed to build)
    • arb.0.1.5 (failed: flint.0.1.5 failed to build)
    • arb.0.2.1 (failed: flint.0.2.1 failed to build)
    • calcium.0.1.5 (failed: flint.0.1.5 failed to build)
    • calcium.0.2.1 (failed: flint.0.2.1 failed to build)
    • colibri2.0.4 (failed: [SKIP] Package not available)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (failed: File unavailable: /home/opam/.opam/5.0/lib/zarith/zarith.cmxa)
  • x86_32-ocaml-4.14
    • antic.0.1.5 (passed)
      • tests (passed)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (passed)
      • tests (passed)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (passed)
      • tests (passed)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • x86_32-ocaml-5.0
    • antic.0.1.5 (failed: flint.0.1.5 failed to build)
    • antic.0.2.1 (failed: flint.0.2.1 failed to build)
    • arb.0.1.5 (failed: flint.0.1.5 failed to build)
    • arb.0.2.1 (failed: flint.0.2.1 failed to build)
    • calcium.0.1.5 (failed: flint.0.1.5 failed to build)
    • calcium.0.2.1 (failed: flint.0.2.1 failed to build)
    • colibri2.0.4 (failed: [SKIP] Package not available)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (failed: File unavailable: /home/opam/.opam/5.0/lib/zarith/zarith.cmxa)
• macos
  • macos-homebrew-ocaml-4.14-amd64 (experimental)
    • antic.0.1.5 (failed: flint.0.1.5 failed to build)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (failed: flint.0.1.5 failed to build)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (failed: flint.0.1.5 failed to build)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (passed)
  • macos-homebrew-ocaml-4.14-arm64 (experimental)
    • antic.0.1.5 (failed: flint.0.1.5 failed to build)
    • antic.0.2.1 (failed: flint.0.2.1 failed to build)
    • arb.0.1.5 (failed: flint.0.1.5 failed to build)
    • arb.0.2.1 (failed: System package install failed with exit code 1 at command:)
    • calcium.0.1.5 (failed: flint.0.1.5 failed to build)
    • calcium.0.2.1 (failed: flint.0.2.1 failed to build)
    • colibri2.0.4 (failed: System package install failed with exit code 1 at command:)
    • colibrics.0.4 (passed)
      • tests (passed)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (failed: The compilation of flint.0.2.1 failed at "dune build -p flint -j 7 @install".)
  • macos-homebrew-ocaml-5.0-amd64 (experimental)
    • antic.0.1.5 (failed: flint.0.1.5 failed to build)
    • antic.0.2.1 (passed)
      • tests (passed)
    • arb.0.1.5 (failed: flint.0.1.5 failed to build)
    • arb.0.2.1 (passed)
      • tests (passed)
    • calcium.0.1.5 (failed: flint.0.1.5 failed to build)
    • calcium.0.2.1 (passed)
      • tests (passed)
    • colibri2.0.4 (passed)
      • tests (passed)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (passed)
      • tests (failed: exception Dynlink.Error (Dynlink.Cannot_open_dll "Dynlink.Error (Dynlink.Cannot_open_dll \"Failure(\\\"dlopen(/Users/mac1000/.opam/5.0.0/lib/ctypes/ctypes.cmxs, 0x000A): tried: '/Users/mac1000/.opam/5.0.0/lib/ctypes/ctypes.cmxs' (no such file), '/System/Volumes/Preboot/Cryptexes/OS/Users/mac1000/.opam/5.0.0/lib/ctypes/ctypes.cmxs' (no such file), '/Users/mac1000/.opam/5.0.0/lib/ctypes/ctypes.cmxs' (no such file)\\\")\")"))
  • macos-homebrew-ocaml-5.0-arm64 (experimental)
    • antic.0.1.5 (failed: flint.0.1.5 failed to build)
    • antic.0.2.1 (failed: flint.0.2.1 failed to build)
    • arb.0.1.5 (failed: flint.0.1.5 failed to build)
    • arb.0.2.1 (failed: flint.0.2.1 failed to build)
    • calcium.0.1.5 (failed: flint.0.1.5 failed to build)
    • calcium.0.2.1 (failed: flint.0.2.1 failed to build)
    • colibri2.0.4 (failed: flint.0.2.1 failed to build)
    • colibrics.0.4 (failed: [SKIP] Package not available)
    • colibrilib.0.4 (passed)
      • tests (passed)
    • flint.0.2.1 (failed: The compilation of flint.0.2.1 failed at "dune build -p flint -j 7 @install".)