alt-ergo [jammy/ppc64el]

Version Triggers Date Duration Requester Result
2.0.0-8 ocaml-num/1.4-2 2022-01-20 12:56:53 UTC 0h 02m 46s - pass logartifacts
2.0.0-8 gmp/2:6.2.1+dfsg-3ubuntu1 rumur/2021.12.27-1 2022-01-17 12:02:07 UTC 0h 03m 27s - pass logartifacts
2.0.0-8 ocaml/4.11.1-5ubuntu1 2021-12-01 17:08:31 UTC 0h 02m 49s - pass logartifacts
2.0.0-8 alt-ergo/2.0.0-8 2021-11-05 05:04:36 UTC 0h 05m 07s - pass logartifacts
2.0.0-7build2 gmp/2:6.2.1+dfsg-1ubuntu3 2021-10-10 01:51:08 UTC 0h 03m 26s vorlon pass logartifacts