foundry-template

vacp2p/foundry-template

Fork 0

mirror of https://github.com/vacp2p/foundry-template.git synced 2025-03-03 16:40:34 +00:00

Commit Graph

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
r4bbit	cbd03c711c	chore: yarn -> pnpm in PULL_REQUEST_TEMPLATE (#8 ) We're using `pnpm` not `yarn`.	2023-09-10 11:44:59 +02:00
r4bbit	145cb6f7c9	chore: first template adjustments This is an initial take on adjusting the foundry-template to the Vac's smart contract unit's needs. In a nutshell what this does is: 1. Update README to not refer to upstream repo where not necessary 2. Removes PRBergTest library from dependencies 3. Removes `FUNDING.qml` 4. Adjust CI actions There are more things to be done and decided on in follow-up commits.	2023-08-09 10:14:12 +02:00

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

r4bbit

cbd03c711c

chore: yarn -> pnpm in PULL_REQUEST_TEMPLATE (#8 )

We're using `pnpm` not `yarn`.

2023-09-10 11:44:59 +02:00

r4bbit

145cb6f7c9

chore: first template adjustments

This is an initial take on adjusting the foundry-template to the Vac's
smart contract unit's needs. In a nutshell what this does is:

1. Update README to not refer to upstream repo where not necessary
2. Removes PRBergTest library from dependencies
3. Removes `FUNDING.qml`
4. Adjust CI actions

There are more things to be done and decided on in follow-up commits.

2023-08-09 10:14:12 +02:00

3 Commits