Commit Graph

2 Commits

Author SHA1 Message Date
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
r4bbit a84c46b3d6 refactor!: rename `CollectibleV1`to `CommunityERC721`
As discussed in #46, `CollectibleV1` is not a good name for this
contract as we don't want versioning in the naming. To align with other
contracts in this repository, we're renaming this contract to
`CommunityERC721`.

BREAKING CHANGE: Any references to `CollectibleV1` must be replaced with
`CommunityERC721`

Closes #46
2024-02-27 11:44:06 +01:00