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/scripts
History
r4bbit e3142f1e52 refactor: move certora configs into individual scripts 
This is done to allow execution of multiple verifications per command,
such that we can still use `pnpm verify` as usual to run all specs, but
also target individual specs using `pnpm verify:sub_command`.
 		2024-01-19 07:28:25 +01:00
..
verify-collectible-v1.sh refactor: move certora configs into individual scripts 2024-01-19 07:28:25 +01:00
verify-community-token-deployer.sh refactor: move certora configs into individual scripts 2024-01-19 07:28:25 +01:00