boogie [focal/armhf]

Version Triggers Date Duration Requester Result
2.4.1+dfsg-0.1 z3/4.8.7-4build1 2020-03-23 17:26:38 UTC 0h 06m 43s - pass logartifacts
2.4.1+dfsg-0.1 mono/6.8.0.105+dfsg-2 2020-02-27 03:03:57 UTC 0h 04m 47s - pass logartifacts
2.4.1+dfsg-0.1 mono/6.8.0.105+dfsg-1 2020-02-25 08:36:56 UTC 0h 05m 03s - pass logartifacts
2.4.1+dfsg-0.1 z3/4.8.7-4 2020-01-14 10:19:31 UTC 0h 05m 43s - pass logartifacts
2.4.1+dfsg-0.1 z3/4.8.7-3 2020-01-12 20:03:41 UTC 0h 04m 20s - pass logartifacts
2.4.1+dfsg-0.1 boogie/2.4.1+dfsg-0.1 2019-12-28 07:14:54 UTC 0h 05m 23s - pass logartifacts