alt-ergo [jammy/amd64]

Version Triggers Date Duration Requester Result
2.0.0-8build1 zlib/1:1.2.11.dfsg-2ubuntu9 2022-03-28 12:16:53 UTC 0h 05m 46s - pass logartifacts
2.0.0-8build1 zlib/1:1.2.11.dfsg-2ubuntu8 2022-03-15 16:06:02 UTC 0h 02m 54s jbicha pass logartifacts
2.0.0-8build1 zlib/1:1.2.11.dfsg-2ubuntu8 2022-03-15 14:31:27 UTC 0h 07m 41s jbicha pass logartifacts
2.0.0-8build1 migration-reference/0 2022-03-15 11:32:57 UTC 0h 04m 13s - pass logartifacts
2.0.0-8build1 migration-reference/0 2022-03-15 09:31:38 UTC 0h 05m 58s - pass logartifacts
unknown migration-reference/0 2022-03-15 04:57:21 UTC 0h 05m 46s - fail logartifacts
unknown migration-reference/0 2022-03-14 23:49:49 UTC 0h 03m 06s - fail logartifacts
unknown zlib/1:1.2.11.dfsg-2ubuntu8 2022-03-14 21:38:58 UTC 0h 04m 40s - fail logartifacts
2.0.0-8build1 glibc/2.35-0ubuntu3 2022-03-04 05:51:32 UTC 0h 10m 33s - 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:07:12 UTC 0h 02m 24s - 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: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