nixbot

builds

succeeded checks.i686-linux.alt-ergo build #1 · raw · eval 12.6 s · 1.7 GiB allocated ·

Succeeded (22)

22 built
setup built · 7.2s · open ↗ · raw ↗
setupHook.sh built

no output

ocaml4.14.0-seq-0.1 built · 0.3s · open ↗ · raw ↗
ocaml-4.14.0 built · 201.6s · open ↗ · raw ↗
cmdliner-1.1.1 built · 2.4s · open ↗ · raw ↗
ocaml4.14.0-findlib-1.9.6 built · 3.0s · open ↗ · raw ↗
dune-2.9.3 built · 21.8s · open ↗ · raw ↗
ocaml4.14.0-camlzip-1.11 built · 0.8s · open ↗ · raw ↗
ocaml4.14.0-num-1.1 built · 1.2s · open ↗ · raw ↗
ocaml4.14.0-ocplib-simplex-0.4 built · 3.6s · open ↗ · raw ↗
ocaml4.14.0-zarith-1.12 built · 2.2s · open ↗ · raw ↗
ocaml4.14.0-menhirLib-20220210 built · 3.1s · open ↗ · raw ↗
ocaml4.14.0-menhirSdk-20220210 built · 2.7s · open ↗ · raw ↗
ocaml4.14.0-result-1.5 built · 2.1s · open ↗ · raw ↗
ocaml4.14.0-stdlib-shims-0.3.0 built · 2.9s · open ↗ · raw ↗
ocaml4.14.0-csexp-1.5.1 built · 0.9s · open ↗ · raw ↗
ocaml4.14.0-menhir-20220210 built · 38.4s · open ↗ · raw ↗
ocaml4.14.0-dune-configurator-2.9.3 built · 5.5s · open ↗ · raw ↗
ocaml4.14.0-alt-ergo-lib-2.4.2 built · 26.0s · open ↗ · raw ↗
ocaml4.14.0-psmt2-frontend-0.4.0 built · 2.7s · open ↗ · raw ↗
ocaml4.14.0-alt-ergo-parsers-2.4.2 built · 3.7s · open ↗ · raw ↗
ocaml4.14.0-alt-ergo-2.4.2 built · 3.9s · open ↗ · raw ↗