fix: replace goerli with holesky in fork tests #2792
certora-prover.yml
on: pull_request
list-scripts
4m 54s
Matrix: verify
Annotations
3 errors and 17 warnings