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