alt-ergo [jammy/s390x]

Version Triggers Date Duration Requester Result
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