Reimport LayrLabs conditions for running CI #17
certora-prover.yml
on: push
Compile and verify
5m 25s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
certora-run-logs-c45bc283-d6f8-44fd-9c8e-0acf219337b6-18002881715
Expired
|
20.6 KB |
sha256:c5a198845e75bc9b23c63b6c56cc29d4c12f88e26d49e26807cdf26e24d438f2
|
|