dafny [hirsute/ppc64el]

Version Triggers Date Duration Requester Result
2.3.0+dfsg-0.1 z3/4.8.10-1ubuntu1 2021-01-30 12:32:47 UTC 0h 05m 05s - pass logartifacts
2.3.0+dfsg-0.1 z3/4.8.9-1ubuntu1 2020-12-11 12:52:06 UTC 0h 02m 58s - pass logartifacts
2.3.0+dfsg-0.1 z3/4.8.9-1 2020-09-24 12:40:00 UTC 0h 02m 36s - pass logartifacts