alt-ergo [jammy/s390x]

Version Triggers Date Duration Requester Result
2.0.0-8build1 zlib/1:1.2.11.dfsg-2ubuntu9 2022-03-30 00:31:34 UTC 0h 04m 05s - pass logartifacts
2.0.0-8build1 zlib/1:1.2.11.dfsg-2ubuntu8 2022-03-14 21:32:08 UTC 0h 06m 21s - pass logartifacts
2.0.0-8build1 glibc/2.35-0ubuntu3 2022-03-04 07:19:44 UTC 0h 06m 43s - pass logartifacts
2.0.0-8 glibc/2.35-0ubuntu1 gtk4/4.6.0+ds1-3 link-grammar/5.10.2~dfsg-2ubuntu1 orafce/3.18.1-1 pandas/1.3.5+dfsg-2 php-nesbot-carbon/2.55.2-1 postgresql-14/14.1-5build1 symfony/5.4.2+dfsg-3ubuntu1 2022-02-04 03:22:59 UTC 0h 02m 17s - 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:35 UTC 0h 05m 59s - pass logartifacts
2.0.0-8build1 alt-ergo/2.0.0-8build1 ocaml-num/1.4-2build1 ocaml/4.13.1-3ubuntu1 2022-01-26 19:49:02 UTC 0h 04m 25s - 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:22 UTC 0h 02m 49s - pass logartifacts
2.0.0-8 ocaml-num/1.4-2 2022-01-20 12:56:27 UTC 0h 02m 18s - pass logartifacts
2.0.0-8 gmp/2:6.2.1+dfsg-3ubuntu1 rumur/2021.12.27-1 2022-01-17 12:02:39 UTC 0h 03m 26s - pass logartifacts
2.0.0-8 ocaml/4.11.1-5ubuntu1 2021-12-01 17:08:32 UTC 0h 02m 25s - pass logartifacts
2.0.0-8 alt-ergo/2.0.0-8 2021-10-28 09:30:00 UTC 0h 02m 31s - pass logartifacts
2.0.0-7build2 gmp/2:6.2.1+dfsg-1ubuntu3 2021-10-09 23:21:53 UTC 0h 02m 06s vorlon pass logartifacts