Closed 0x-r4bbit closed 1 month ago
This update the certora cli to the latest version 7.10.1 in CI tasks.
Ensure you completed all of the steps below before submitting your pull request:
forge snapshot
pnpm gas-report
pnpm lint
forge test
pnpm verify
This update the certora cli to the latest version 7.10.1 in CI tasks.
Checklist
Ensure you completed all of the steps below before submitting your pull request:
forge snapshot?pnpm gas-report?pnpm lint?forge test?pnpm verify?