dafny [hirsute/arm64]

Version Triggers Date Duration Requester Result
2.3.0+dfsg-0.1 z3/4.8.10-1ubuntu1 2021-01-30 12:35:25 UTC 0h 07m 42s - pass logartifacts
2.3.0+dfsg-0.1 z3/4.8.9-1ubuntu1 2020-12-11 11:39:30 UTC 0h 06m 47s - pass logartifacts
2.3.0+dfsg-0.1 z3/4.8.9-1 2020-09-24 14:59:22 UTC 0h 07m 37s - pass logartifacts