Certora formal verification specifications and CI #23
aehyvaricertora-prover.yml
on: push
Compile and verify
5m 54s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
certora-run-logs-2d31362c-19de-42a4-bf28-e58ea84bf9a9-18003407200
Expired
|
20.6 KB |
sha256:536f6843b5a037d2e6324d55cd7bca04a9c5a7eda794451b0b901dc9635ad39f
|
|