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