dafny [focal/i386]

Version Triggers Date Duration Requester Result
2.3.0+dfsg-0.1 z3/4.8.7-4build1 2020-03-23 14:22:06 UTC 0h 04m 29s - fail logartifacts
2.3.0+dfsg-0.1 mono/6.8.0.105+dfsg-2 2020-02-27 02:54:03 UTC 0h 02m 02s - fail logartifacts
2.3.0+dfsg-0.1 mono/6.8.0.105+dfsg-1 2020-02-25 08:33:00 UTC 0h 01m 40s - fail logartifacts
2.3.0+dfsg-0.1 dafny/2.3.0+dfsg-0.1 2020-01-20 12:33:17 UTC 0h 02m 33s - fail logartifacts