alt-ergo [jammy/arm64]

Version Triggers Date Duration Requester Result
2.0.0-8build1 zlib/1:1.2.11.dfsg-2ubuntu9 2022-04-02 16:32:19 UTC 0h 04m 57s - pass logartifacts
2.0.0-8build1 zlib/1:1.2.11.dfsg-2ubuntu8 2022-03-16 03:03:57 UTC 0h 09m 07s jbicha pass logartifacts
2.0.0-8build1 zlib/1:1.2.11.dfsg-2ubuntu8 2022-03-16 01:09:13 UTC 0h 06m 42s jbicha pass logartifacts
unknown zlib/1:1.2.11.dfsg-2ubuntu8 2022-03-14 22:28:57 UTC 0h 12m 12s - fail logartifacts
2.0.0-8build1 glibc/2.35-0ubuntu3 2022-03-04 09:21:33 UTC 0h 13m 12s - 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 05:40:47 UTC 0h 06m 27s - pass logartifacts
2.0.0-8 migration-reference/0 2022-01-26 20:28:43 UTC 0h 05m 41s - 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 20:27:34 UTC 0h 05m 14s - 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:48:17 UTC 0h 03m 42s - fail 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:46:01 UTC 0h 03m 28s - fail logartifacts
2.0.0-8 ocaml-num/1.4-2 2022-01-20 12:57:08 UTC 0h 03m 00s - pass logartifacts
2.0.0-8 gmp/2:6.2.1+dfsg-3ubuntu1 rumur/2021.12.27-1 2022-01-17 12:30:36 UTC 0h 03m 47s - pass logartifacts
2.0.0-8 ocaml/4.11.1-5ubuntu1 2021-12-01 17:10:14 UTC 0h 04m 19s - pass logartifacts
2.0.0-8 alt-ergo/2.0.0-8 2021-11-01 06:51:05 UTC 0h 04m 16s - pass logartifacts
2.0.0-7build2 gmp/2:6.2.1+dfsg-1ubuntu3 2021-10-11 15:27:27 UTC 0h 15m 14s vorlon pass logartifacts