boogie [focal/ppc64el]

Version Triggers Date Duration Requester Result
2.4.1+dfsg-0.1 z3/4.8.7-4build1 2020-03-23 16:24:38 UTC 0h 05m 24s - pass logartifacts
2.4.1+dfsg-0.1 mono/6.8.0.105+dfsg-2 2020-02-27 03:03:09 UTC 0h 14m 16s - pass logartifacts
2.4.1+dfsg-0.1 mono/6.8.0.105+dfsg-1 2020-02-25 08:34:29 UTC 0h 03m 07s - pass logartifacts
2.4.1+dfsg-0.1 z3/4.8.7-4 2020-01-14 10:19:41 UTC 0h 05m 52s - pass logartifacts
2.4.1+dfsg-0.1 z3/4.8.7-3 2020-01-12 20:04:04 UTC 0h 04m 43s - pass logartifacts
2.4.1+dfsg-0.1 boogie/2.4.1+dfsg-0.1 2019-12-28 07:12:16 UTC 0h 02m 45s - pass logartifacts