Feat: Mainnet Incentives Scripts #2770
Triggered via pull request
September 14, 2024 18:30
Status
Failure
Total duration
6m 39s
Artifacts
–
certora-prover.yml
on: pull_request
list-scripts
6s
Matrix: verify
Annotations
1 error and 17 warnings