boogie [hirsute/i386]

Version Triggers Date Duration Requester Result
2.4.1+dfsg-0.1 z3/4.8.10-1ubuntu1 2021-01-30 12:29:29 UTC 0h 01m 49s - fail logartifacts
2.4.1+dfsg-0.1 z3/4.8.9-1ubuntu1 2020-12-11 11:35:43 UTC 0h 07m 58s - 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