dafny [focal/arm64]

Version Triggers Date Duration Requester Result
2.3.0+dfsg-0.1 z3/4.8.7-4build1 2020-03-24 06:40:37 UTC 0h 15m 45s - pass logartifacts
2.3.0+dfsg-0.1 mono/6.8.0.105+dfsg-2 2020-02-27 22:01:41 UTC 0h 10m 44s - pass logartifacts
2.3.0+dfsg-0.1 mono/6.8.0.105+dfsg-1 2020-02-25 10:27:59 UTC 0h 08m 43s - pass logartifacts
2.3.0+dfsg-0.1 dafny/2.3.0+dfsg-0.1 2020-01-20 12:43:07 UTC 0h 12m 22s - pass logartifacts