boogie [impish/i386]

Version Triggers Date Duration Requester Result
2.4.1+dfsg-0.1 z3/4.8.12-1 2021-09-15 15:07:14 UTC 0h 02m 02s - fail logartifacts
2.4.1+dfsg-0.1 mono/6.8.0.105+dfsg-3.2 2021-06-30 15:04:25 UTC 0h 01m 42s - fail logartifacts
2.4.1+dfsg-0.1 z3/4.8.9-1 2020-10-24 14:31:37 UTC 0h 03m 07s - pass logartifacts