Commit Graph

20 Commits

Author SHA1 Message Date
r4bbit d688fae569 chore(ci): ensure only most recent commit is executed on CI 2024-04-23 09:24:26 +02:00
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 a7f24844a2
build: add codecov task to CI actions (#6) 2023-09-08 18:15:36 +02:00
Paul Razvan Berg 0b903a1ceb
feat: add FOUNDRY_PROFILE env var
ci: remove unneeded env vars
2023-07-07 12:32:52 +03:00
Paul Razvan Berg c1bc6d1adb
docs: improve wording in comments
cI: reorder values in "on"
docs: add a reference to `bound`
2023-04-18 14:14:53 +03:00
Paul Razvan Berg 22aa428f82
ci: use specific pnpm version 2023-03-28 19:08:53 +03:00
Paul Razvan Berg d3aa3ab78d
build: update pnpm lockfile 2023-03-28 19:04:42 +03:00
Paul Razvan Berg 079a699207
build: switch from yarn to pnpm 2023-03-12 12:03:13 +02:00
Paul Razvan Berg f5a68d8737
feat: add more chains in Foundry config
refactor: rename api key env vars
2023-03-01 14:15:16 +02:00
Paul Razvan Berg 17bf1a26d2
ci: add missing Foundry install 2023-02-07 20:10:50 +02:00
Paul Razvan Berg 4bd096541a
feat: add identity function "id" in "Foo" contract
ci: separate jobs in workflow
2023-02-07 14:10:43 +02:00
Paul Razvan Berg 92c82710c1
ci: simplify syntax for "on:"
ci: add "workflow_dispatch" in "on" for "main" branch
2023-02-07 14:10:36 +02:00
Paul Razvan Berg 45e7248c37
ci: add fuzz seed to avoid burning rpc requests 2023-01-18 18:10:48 +02:00
Paul Razvan Berg 49b82cbcd4
ci: expose env vars in GitHub workflow
test: add explanatory code comments in fork test
2023-01-17 19:59:49 +02:00
Paul Razvan Berg 0efda5eabb
test: add Ethereum Mainnet fork test
feat: add "ALCHEMY_API_KEY" env var
feat: add "ethereum"
ci: delete now-stale "version" param in foundry-toolchain
refactor: delete "ETH_RPC_URL" env var
test: delete console log in "testFuzz_Example"
test: use "assertGt" instead of "assertTrue" for "x > 0" comparison
2023-01-17 19:49:14 +02:00
Paul Razvan Berg 3bd0c90840
ci: be more specific in "build --sizes" step 2022-12-21 13:16:08 +02:00
Paul Razvan Berg 0d39c55f7d
build: upgrade to latest forge-std 2022-12-19 15:29:38 +02:00
Paul Razvan Berg f8f39f0bd8
ci: use Foundry action from "foundry-rs" org 2022-12-16 14:59:16 +02:00
Paul Razvan Berg d651e10bbb
ci: use LTS version in CI script 2022-10-15 22:30:41 +03:00
Paul Razvan Berg 43e1e113f4
feat: initial commit 2022-07-17 21:57:09 +03:00