boogie [focal/arm64]

Version Triggers Date Duration Requester Result
2.4.1+dfsg-0.1 z3/4.8.7-4build1 2020-03-24 06:41:05 UTC 0h 16m 23s - pass logartifacts
2.4.1+dfsg-0.1 mono/6.8.0.105+dfsg-2 2020-02-27 21:59:52 UTC 0h 10m 25s - pass logartifacts
2.4.1+dfsg-0.1 mono/6.8.0.105+dfsg-1 2020-02-25 10:27:23 UTC 0h 08m 20s - pass logartifacts
2.4.1+dfsg-0.1 z3/4.8.7-4 2020-01-14 10:22:32 UTC 0h 08m 42s - pass logartifacts
2.4.1+dfsg-0.1 z3/4.8.7-3 2020-01-12 20:06:23 UTC 0h 07m 00s - pass logartifacts
2.4.1+dfsg-0.1 boogie/2.4.1+dfsg-0.1 2019-12-28 07:19:20 UTC 0h 09m 48s - pass logartifacts