Job not yet started
Summary of errors
- compilers
- 5.1
- iter.1.8
- 5.1
Full 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
- iter.1.8 (passed)
- lower-bounds (passed)
- revdeps (passed)
- archsat.1.1 (passed)
- benchpress-server.0.1 (passed)
- benchpress.0.1 (passed)
- calculon-redis-lib.0.5 (passed)
- calculon-redis.0.5 (passed)
- calculon-web.0.5 (passed)
- calculon.0.5 (passed)
- calculon.0.6 (passed)
- calculon.0.7 (passed)
- calculon.0.8 (passed)
- containers-data.3.0 (passed)
- containers-data.3.0.1 (passed)
- containers-data.3.1 (passed)
- containers-data.3.10 (passed)
- containers-data.3.11 (passed)
- containers-data.3.12 (passed)
- containers-data.3.2 (passed)
- containers-data.3.3 (passed)
- containers-data.3.4 (passed)
- containers-data.3.5 (passed)
- containers-data.3.5.1 (passed)
- containers-data.3.6 (passed)
- containers-data.3.6.1 (passed)
- containers-data.3.7 (passed)
- containers-data.3.8 (passed)
- containers-data.3.9 (passed)
- containers-thread.3.0 (passed)
- containers-thread.3.0.1 (passed)
- containers-thread.3.1 (passed)
- containers-thread.3.10 (passed)
- containers-thread.3.11 (passed)
- containers-thread.3.12 (passed)
- containers-thread.3.2 (passed)
- containers-thread.3.3 (passed)
- containers-thread.3.4 (passed)
- containers-thread.3.5 (passed)
- containers-thread.3.5.1 (passed)
- containers-thread.3.6 (passed)
- containers-thread.3.6.1 (passed)
- containers-thread.3.7 (passed)
- containers-thread.3.8 (passed)
- containers-thread.3.9 (passed)
- containers.3.0 (passed)
- containers.3.0.1 (passed)
- containers.3.1 (passed)
- containers.3.10 (passed)
- containers.3.11 (passed)
- containers.3.12 (passed)
- containers.3.2 (passed)
- containers.3.3 (passed)
- containers.3.4 (passed)
- containers.3.5 (passed)
- containers.3.5.1 (passed)
- containers.3.6 (passed)
- containers.3.6.1 (passed)
- containers.3.7 (passed)
- containers.3.8 (passed)
- containers.3.9 (passed)
- dirsp-proscript-mirage.0.1.0 (passed)
- earlybird.1.2.0 (passed)
- earlybird.1.2.1 (passed)
- ego.0.0.5 (passed)
- ego.0.0.6 (passed)
- electrod.0.2.3 (passed)
- electrod.0.3.2 (passed)
- electrod.0.4.1 (passed)
- electrod.0.5 (passed)
- electrod.0.6 (passed)
- electrod.0.6.2 (passed)
- electrod.0.7.1 (passed)
- electrod.0.8.0 (passed)
- electrod.0.9.0 (passed)
- electrod.1.0.0 (passed)
- libzipperposition.1.5.1 (passed)
- libzipperposition.1.6 (passed)
- logtk.1.5.1 (failed: [SKIP] Package not available)
- logtk.1.6 (passed)
- m_tree.0.1 (passed)
- mc2.0.1 (passed)
- msat-bin.0.8.2 (passed)
- msat-bin.0.8.3 (passed)
- msat-bin.0.9 (passed)
- msat-bin.0.9.1 (passed)
- msat.0.8 (failed: [SKIP] Package not available)
- msat.0.8.1 (passed)
- msat.0.8.2 (passed)
- msat.0.8.3 (passed)
- msat.0.9 (passed)
- msat.0.9.1 (passed)
- mssql.2.0.3 (passed)
- mssql.2.1.0 (passed)
- mssql.2.2.0 (passed)
- regenerate.0.2 (passed)
- smbc.0.6.1 (passed)
- tree_layout.0.2 (passed)
- zipperposition-tools.1.6 (passed)
- zipperposition.1.5.1 (passed)
- zipperposition.1.6 (passed)
- tests (passed)
- iter.1.8 (passed)
- 5.0
- 5.1
- iter.1.8 (passed)
- lower-bounds (passed)
- revdeps (passed)
- calculon.0.7 (passed)
- calculon.0.8 (passed)
- containers-data.3.10 (failed: The functor was expected to be applicative at this position)
- containers-data.3.11 (passed)
- containers-data.3.12 (passed)
- containers-data.3.7 (passed)
- containers-data.3.8 (passed)
- containers-data.3.9 (failed: The functor was expected to be applicative at this position)
- containers-thread.3.10 (passed)
- containers-thread.3.11 (passed)
- containers-thread.3.12 (passed)
- containers-thread.3.7 (passed)
- containers-thread.3.8 (passed)
- containers-thread.3.9 (passed)
- containers.3.10 (passed)
- containers.3.11 (passed)
- containers.3.12 (passed)
- containers.3.7 (passed)
- containers.3.8 (passed)
- containers.3.9 (passed)
- dirsp-proscript-mirage.0.1.0 (passed)
- earlybird.1.2.1 (passed)
- ego.0.0.5 (passed)
- ego.0.0.6 (passed)
- m_tree.0.1 (failed: The compilation of m_tree.0.1 failed at "dune build -p m_tree -j 47 @install @runtest".)
- mc2.0.1 (passed)
- msat-bin.0.8.2 (passed)
- msat-bin.0.8.3 (passed)
- msat-bin.0.9 (passed)
- msat-bin.0.9.1 (passed)
- msat.0.8.1 (failed: [SKIP] Package not available)
- msat.0.8.2 (failed: [SKIP] Package not available)
- msat.0.8.3 (failed: [SKIP] Package not available)
- msat.0.9 (failed: [SKIP] Package not available)
- msat.0.9.1 (failed: [SKIP] Package not available)
- tree_layout.0.2 (passed)
- tests (passed)
- iter.1.8 (passed)
- distributions
- alpine-3.18-ocaml-4.14
- alpine-3.18-ocaml-5.1
- archlinux-ocaml-4.14
- archlinux-ocaml-5.1
- debian-10-ocaml-4.14
- debian-10-ocaml-5.1
- debian-11-ocaml-4.14
- debian-11-ocaml-5.1
- debian-testing-ocaml-4.14
- debian-testing-ocaml-5.1
- debian-unstable-ocaml-4.14
- debian-unstable-ocaml-5.1
- fedora-37-ocaml-4.14
- fedora-37-ocaml-5.1
- fedora-38-ocaml-4.14
- fedora-38-ocaml-5.1
- opensuse-15.5-ocaml-4.14
- opensuse-15.5-ocaml-5.1
- opensuse-tumbleweed-ocaml-4.14
- opensuse-tumbleweed-ocaml-5.1
- oraclelinux-8-ocaml-4.14
- oraclelinux-8-ocaml-5.1
- oraclelinux-9-ocaml-4.14
- oraclelinux-9-ocaml-5.1
- ubuntu-20.04-ocaml-4.14
- ubuntu-20.04-ocaml-5.1
- ubuntu-22.04-ocaml-4.14
- ubuntu-22.04-ocaml-5.1
- ubuntu-23.04-ocaml-4.14
- ubuntu-23.04-ocaml-5.1
- extras
- arm32-ocaml-4.14
- arm32-ocaml-5.1
- arm64-ocaml-4.14
- arm64-ocaml-5.1
- 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.1-afl
- ocaml-5.1-flambda
- ocaml-5.1-no-flat-float-array
- opam-2.0-ocaml-4.14
- opam-2.0-ocaml-5.1
- opam-2.1-ocaml-4.14
- opam-2.1-ocaml-5.1
- ppc64-ocaml-4.14
- ppc64-ocaml-5.1
- s390x-ocaml-4.14
- s390x-ocaml-5.1
- x86_32-ocaml-4.14
- x86_32-ocaml-5.1
- freebsd (experimental)
- freebsd-ocaml-4.14-amd64 (experimental)
- freebsd-ocaml-5.1-amd64 (experimental)
- macos
- macos-homebrew-ocaml-4.14-amd64 (experimental)
- macos-homebrew-ocaml-4.14-arm64 (experimental)
- macos-homebrew-ocaml-5.1-amd64 (experimental)
- macos-homebrew-ocaml-5.1-arm64 (experimental)