chore: force the scratch buld on every push #2746
Triggered via pull request
September 10, 2024 14:55
Status
Failure
Total duration
6m 41s
Artifacts
–
certora-prover.yml
on: pull_request
list-scripts
3s
Matrix: verify
Annotations
1 error and 17 warnings