alt-ergo [jammy/arm64]

Version Triggers Date Duration Requester Result
2.0.0-8 ocaml-num/1.4-2 2022-01-20 12:57:08 UTC 0h 03m 00s - pass logartifacts
2.0.0-8 gmp/2:6.2.1+dfsg-3ubuntu1 rumur/2021.12.27-1 2022-01-17 12:30:36 UTC 0h 03m 47s - pass logartifacts
2.0.0-8 ocaml/4.11.1-5ubuntu1 2021-12-01 17:10:14 UTC 0h 04m 19s - pass logartifacts
2.0.0-8 alt-ergo/2.0.0-8 2021-11-01 06:51:05 UTC 0h 04m 16s - pass logartifacts
2.0.0-7build2 gmp/2:6.2.1+dfsg-1ubuntu3 2021-10-11 15:27:27 UTC 0h 15m 14s vorlon pass logartifacts