alt-ergo [jammy/amd64]

Version Triggers Date Duration Requester Result
2.0.0-8build1 alt-ergo/2.0.0-8build1 ocaml-num/1.4-2build1 ocaml/4.13.1-3ubuntu1 2022-01-26 19:53:07 UTC 0h 01m 50s - pass logartifacts
2.0.0-8 ocaml-num/1.4-2build1 camlbz2/0.7.0-1build1 camlpdf/2.4-1build1 camlzip/1.11-1build1 cudf/0.9-2build2 extlib/1.7.8-1build1 lablgtk3/3.1.1+official-1build2 menhir/20210929-1build1 morbig/0.10.4-5build3 morsmall/0.3.0-4build3 ocaml-fpath/0.7.3-2build2 ocaml-gen/0.5.3-1build2 ocaml-luv/0.5.10-2build1 ocaml-migrate-parsetree/2.3.0-1build1 ocaml-ptmap/2.0.5-1build2 ocaml-qcheck/0.18-2build1 ocaml-rope/0.6.2-3build2 ocaml-sedlex/2.5-1build1 ocaml-visitors/20210608-1build1 ocaml/4.13.1-3ubuntu1 ocplib-simplex/0.4-2build3 ppx-deriving-yojson/3.6.1-2build1 ppx-deriving/5.2.1-1build1 ppx-tools-versioned/5.4.0-1build5 pyml/20211015-1build1 2022-01-26 19:50:36 UTC 0h 06m 01s - pass logartifacts
2.0.0-8 ocaml/4.13.1-3ubuntu1 camlbz2/0.7.0-1build1 camlpdf/2.4-1build1 camlzip/1.11-1build1 cudf/0.9-2build2 extlib/1.7.8-1build1 lablgtk3/3.1.1+official-1build2 menhir/20210929-1build1 morbig/0.10.4-5build3 morsmall/0.3.0-4build3 ocaml-fpath/0.7.3-2build2 ocaml-gen/0.5.3-1build2 ocaml-luv/0.5.10-2build1 ocaml-migrate-parsetree/2.3.0-1build1 ocaml-num/1.4-2build1 ocaml-ptmap/2.0.5-1build2 ocaml-qcheck/0.18-2build1 ocaml-rope/0.6.2-3build2 ocaml-sedlex/2.5-1build1 ocaml-visitors/20210608-1build1 ocplib-simplex/0.4-2build3 ppx-deriving-yojson/3.6.1-2build1 ppx-deriving/5.2.1-1build1 ppx-tools-versioned/5.4.0-1build5 pyml/20211015-1build1 2022-01-26 19:45:15 UTC 0h 02m 43s - pass logartifacts
2.0.0-8 ocaml-num/1.4-2 2022-01-20 12:56:30 UTC 0h 02m 25s - pass logartifacts
2.0.0-8 gmp/2:6.2.1+dfsg-3ubuntu1 rumur/2021.12.27-1 2022-01-17 12:00:58 UTC 0h 03m 03s - pass logartifacts
2.0.0-8 ocaml/4.11.1-5ubuntu1 2021-12-01 17:12:04 UTC 0h 06m 47s - pass logartifacts
2.0.0-8 alt-ergo/2.0.0-8 2021-10-28 11:20:17 UTC 0h 01m 26s - pass logartifacts
2.0.0-7build2 gmp/2:6.2.1+dfsg-1ubuntu3 2021-10-09 17:36:34 UTC 0h 06m 52s vorlon pass logartifacts