af4410677b
This upgrade certora-cli on CI to version 7.0.7 which no longer requires the usage of the `STORAGE` keyword in storage hooks. |
||
---|---|---|
.. | ||
CommunityERC721.spec | ||
CommunityTokenDeployer.spec |