dafny [hirsute/s390x]

Version Triggers Date Duration Requester Result
2.3.0+dfsg-0.1 z3/4.8.10-1ubuntu1 2021-01-30 12:30:12 UTC 0h 02m 29s - pass logartifacts
2.3.0+dfsg-0.1 z3/4.8.9-1ubuntu1 2020-12-11 11:29:44 UTC 0h 01m 55s - pass logartifacts
2.3.0+dfsg-0.1 z3/4.8.8-1 2020-06-07 11:06:39 UTC 0h 01m 52s - pass logartifacts