dafny [impish/amd64]

Version Triggers Date Duration Requester Result
2.3.0+dfsg-0.1 z3/4.8.12-1 2021-09-15 13:23:28 UTC 0h 03m 22s - pass logartifacts
2.3.0+dfsg-0.1 mono/6.8.0.105+dfsg-3.2 2021-06-30 15:06:03 UTC 0h 03m 20s - pass logartifacts
2.3.0+dfsg-0.1 z3/4.8.10-1ubuntu1 2021-01-30 12:30:38 UTC 0h 02m 58s - pass logartifacts