fix: fail on storage diff #2788
Triggered via pull request
September 17, 2024 18:49
Status
Failure
Total duration
5m 45s
Artifacts
–
certora-prover.yml
on: pull_request
list-scripts
5s
Matrix: verify
Annotations
1 error and 17 warnings