diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 39e3430..8224f9b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -76,6 +76,8 @@ jobs: - name: Run coverage run: forge coverage --report summary --report lcov + env: + FOUNDRY_PROFILE: lite # override to reduce runtime # To ignore coverage for certain directories modify the paths in this step as needed. The # below default ignores coverage results for the test and script directories. Alternatively, diff --git a/foundry.toml b/foundry.toml index f1c8113..b85e8db 100644 --- a/foundry.toml +++ b/foundry.toml @@ -7,7 +7,7 @@ [profile.ci] fuzz = { runs = 5000 } - invariant = { runs = 1000 } + invariant = { runs = 500 } [profile.lite] fuzz = { runs = 50 }