dafny [hirsute/armhf]

Version Triggers Date Duration Requester Result
2.3.0+dfsg-0.1 z3/4.8.10-1ubuntu1 2021-01-30 12:32:53 UTC 0h 05m 12s - pass logartifacts
2.3.0+dfsg-0.1 z3/4.8.9-1ubuntu1 2020-12-13 05:34:27 UTC 0h 06m 11s - pass logartifacts
2.3.0+dfsg-0.1 z3/4.8.9-1 2020-09-24 12:40:47 UTC 0h 05m 03s - pass logartifacts