dafny [hirsute/amd64]

Version Triggers Date Duration Requester Result
2.3.0+dfsg-0.1 z3/4.8.10-1ubuntu1 2021-01-30 12:30:38 UTC 0h 02m 58s - pass logartifacts
2.3.0+dfsg-0.1 z3/4.8.9-1ubuntu1 2020-12-11 11:30:22 UTC 0h 02m 37s - pass logartifacts
2.3.0+dfsg-0.1 z3/4.8.9-1 2020-09-24 12:38:56 UTC 0h 01m 59s - pass logartifacts