boogie [hirsute/arm64]

Version Triggers Date Duration Requester Result
2.4.1+dfsg-0.1 z3/4.8.10-1ubuntu1 2021-01-30 12:34:36 UTC 0h 06m 53s - pass logartifacts
2.4.1+dfsg-0.1 z3/4.8.9-1ubuntu1 2020-12-11 11:37:55 UTC 0h 06m 28s - pass logartifacts
2.4.1+dfsg-0.1 z3/4.8.9-1 2020-09-24 14:59:08 UTC 0h 07m 23s - pass logartifacts