vacp2p/foundry-template
1
0
Fork 0
mirror of https://github.com/vacp2p/foundry-template.git synced 2025-02-08 21:43:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
foundry-template/.github/PULL_REQUEST_TEMPLATE.md
r4bbit 2b90aeb38a
feat: add certora CI integration (#10) 
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.
2023-11-23 08:52:05 +01:00

300 B
Raw Blame History

Description

Describe the changes made in your pull request here.

Checklist

Ensure you completed all of the steps below before submitting your pull request:

  • Added natspec comments?
  • Ran forge snapshot?
  • Ran pnpm lint?
  • Ran forge test?
  • Ran pnpm verify?