feat: custom errors in 0.8.27 #2758
Triggered via pull request
September 12, 2024 17:51
Status
Failure
Total duration
1m 36s
Artifacts
–
certora-prover.yml
on: pull_request
list-scripts
5s
Matrix: verify
Annotations
5 errors and 17 warnings