mirror of
https://github.com/vacp2p/foundry-template.git
synced 2025-01-28 08:05:47 +00: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.
20 lines
170 B
Plaintext
20 lines
170 B
Plaintext
# directories
|
|
cache
|
|
node_modules
|
|
out
|
|
|
|
# files
|
|
*.env
|
|
*.log
|
|
.DS_Store
|
|
.pnp.*
|
|
lcov.info
|
|
yarn.lock
|
|
|
|
# broadcasts
|
|
!broadcast
|
|
broadcast/*
|
|
broadcast/*/31337/
|
|
|
|
.certora_internal
|