feat: unified programmatic rewards #2771
Triggered via pull request
September 16, 2024 15:34
Status
Failure
Total duration
12m 22s
Artifacts
–
certora-prover.yml
on: pull_request
list-scripts
2s
Matrix: verify
Annotations
1 error and 17 warnings