chore: increase number of fuzz/invariant on CI

morpho-org · Jul 6, 2023 · 9b474af · 9b474af
1 parent f0646f3
commit 9b474af
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 20 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -3,8 +3,6 @@ name: Foundry CI
 on:
   workflow_dispatch:
   push:
-    branches:
-      - main
   pull_request:
 
 jobs:
@@ -20,16 +18,12 @@ jobs:
 
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1
-        with:
-          version: nightly
-
-      - name: Run Forge build
-        run: |
-          forge --version
-          forge build --sizes
-        id: build
 
       - name: Run Forge tests
         run: |
+          FOUNDRY_FUZZ_RUNS=100000              |
+          FOUNDRY_FUZZ_MAX_TEST_REJECTS=500000  |
+          FOUNDRY_INVARIANT_RUNS=1000           |
+          FOUNDRY_INVARIANT_DEPTH=100           |
           forge test -vvv
         id: test
diff --git a/foundry.toml b/foundry.toml
@@ -1,16 +1,6 @@
 [profile.default]
-src = "src"
-out = "out"
-libs = ["lib"]
 via-ir = true
 
-[fuzz]
-runs = 2048
-
-[invariant]
-runs = 2048
-depth = 32
-
 [fmt]
 int_types = "short"