Commit Graph

22 Commits

Author SHA1 Message Date
Andrea Franz
2e46feeca3 chore(ci): use v4 of actions/checkout in CI actions 2024-08-14 11:10:48 +02:00
0xb337r007
62859398be chore(compiler): bump min solidity version to 0.8.26 (#30)
Co-authored-by: Andrea Franz <andrea@gravityblast.com>
2024-08-14 11:10:39 +02:00
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