vacp2p/foundry-template
1
0
Fork 0
mirror of https://github.com/vacp2p/foundry-template.git synced 2026-01-09 21:17:55 -05:00
Code Issues Packages Projects Releases Wiki Activity
160 Commits 18 Branches 0 Tags
example-prettier-bug
Commit Graph

6 Commits

Author SHA1 Message Date
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
Paul Razvan Berg
5378ca3b67 chore: simplify globs in ignore files 2023-03-13 15:31:43 +02:00
Paul Razvan Berg
079a699207 build: switch from yarn to pnpm 2023-03-12 12:03:13 +02:00
Paul Razvan Berg
2a5b358823 chore: unignore html files 2023-02-08 10:57:56 +02:00
Paul Razvan Berg
a4eb52abc5 chore: git ignore "*.html" and "lcov.info" files 2023-01-02 13:54:45 +02:00
Paul Razvan Berg
43e1e113f4 feat: initial commit 2022-07-17 21:57:09 +03:00