Add ERC721 examples to the CI

crytic / properties

Pre-built security properties for common Ethereum operations

GNU Affero General Public License v3.0

287 stars 44 forks source link

Closed tuturu-tech closed 1 year ago

tuturu-tech commented 1 year ago

Added hardhat/foundry external and internal ERC721 example tests to the CI.