boogie [focal/amd64]

Version Triggers Date Duration Requester Result
2.4.1+dfsg-0.1 z3/4.8.7-4build1 2020-03-23 17:20:36 UTC 0h 06m 41s - pass logartifacts
2.4.1+dfsg-0.1 mono/6.8.0.105+dfsg-2 2020-02-27 02:52:42 UTC 0h 03m 07s - pass logartifacts
2.4.1+dfsg-0.1 mono/6.8.0.105+dfsg-1 2020-02-25 08:34:09 UTC 0h 02m 51s - pass logartifacts
2.4.1+dfsg-0.1 z3/4.8.7-4 2020-01-14 10:15:35 UTC 0h 01m 47s - pass logartifacts
2.4.1+dfsg-0.1 z3/4.8.7-3 2020-01-12 20:01:00 UTC 0h 01m 40s - pass logartifacts
2.4.1+dfsg-0.1 boogie/2.4.1+dfsg-0.1 2019-12-28 07:11:35 UTC 0h 02m 05s - pass logartifacts