status-im
/
communities-contracts
mirror of https://github.com/status-im/communities-contracts.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
communities-contracts/certora
History
r4bbit 3fec9631ae chore(certora): upgrade certora to 7.0.7 
This upgrade certora-cli on CI to version 7.0.7 which no longer requires
the usage of the `STORAGE` keyword in storage hooks.
 		2024-03-25 10:12:57 +01:00
..
harness refactor!: rename `CollectibleV1`to `CommunityERC721` 2024-02-27 11:44:06 +01:00
scripts refactor!: rename `CollectibleV1`to `CommunityERC721` 2024-02-27 11:44:06 +01:00
specs chore(certora): upgrade certora to 7.0.7 2024-03-25 10:12:57 +01:00