feat: inheritdoc #2796
Triggered via pull request
September 19, 2024 20:16
Status
Failure
Total duration
3m 34s
Artifacts
–
certora-prover.yml
on: pull_request
list-scripts
5s
Matrix: verify
Annotations
4 errors and 17 warnings