chore(certora): upgrade certora-cli to 7.0.7 - Githubissues

logos-co / staking

SNT Staking contracts

Creative Commons Zero v1.0 Universal

0 stars 4 forks source link

chore(certora): upgrade certora-cli to 7.0.7 #89

Closed 0x-r4bbit closed 7 months ago

0x-r4bbit commented 7 months ago

This upgrade certora-cli on CI to version 7.0.7 which no longer requires the STORAGE keyword in storage hooks.

Checklist

Ensure you completed all of the steps below before submitting your pull request:

[ ] Added natspec comments?
[ ] Ran forge snapshot?
[ ] Ran pnpm gas-report?
[ ] Ran pnpm lint?
[ ] Ran forge test?
[x] Ran pnpm verify?