boogie [hirsute/ppc64el]

Version Triggers Date Duration Requester Result
2.4.1+dfsg-0.1 z3/4.8.10-1ubuntu1 2021-01-30 12:30:34 UTC 0h 02m 52s - pass logartifacts
2.4.1+dfsg-0.1 z3/4.8.9-1ubuntu1 2020-12-11 12:45:54 UTC 0h 04m 51s - pass logartifacts
2.4.1+dfsg-0.1 z3/4.8.9-1 2020-09-24 12:38:35 UTC 0h 02m 32s - pass logartifacts