foundry-template

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
..
Foo.spec	feat: add certora CI integration (#10 )	2023-11-23 08:52:05 +01:00

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

Foo.spec

feat: add certora CI integration (#10 )

2023-11-23 08:52:05 +01:00