vacp2p/foundry-template
1
0
Fork 0
mirror of https://github.com/vacp2p/foundry-template.git synced 2025-01-12 00:24:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
foundry-template/certora
History
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
..
specs
feat: add certora CI integration (#10)
2023-11-23 08:52:05 +01:00
certora.conf
feat: add certora CI integration (#10)
2023-11-23 08:52:05 +01:00