mirror of
https://github.com/vacp2p/foundry-template.git
synced 2026-01-06 22:03:57 -05:00
2b90aeb38a
This adds a new command to package.json `verify` which can be run via `pnpm verify`. The command runs the certora CLI with a config file which has to be adjusted for every individual project. The commit also adds a dedicated task to our github actions, which ensures, verification is done in every PR as well.