Merge pull request #589 from morpho-org/ci/remove-invariants-from-ci

ci: remove invariant
morpho-org · Nov 9, 2023 · 2680d1b · 2680d1b
2 parents ec5bab5 + 73c83f5
commit 2680d1b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/foundry.yml b/.github/workflows/foundry.yml
@@ -21,12 +21,12 @@ jobs:
           - type: "slow"
             fuzz-runs: 10000
             max-test-rejects: 500000
-            invariant-runs: 32
+            invariant-runs: 0
             invariant-depth: 512
           - type: "fast"
             fuzz-runs: 256
             max-test-rejects: 65536
-            invariant-runs: 8
+            invariant-runs: 0
             invariant-depth: 256
 
     runs-on: ubuntu-latest

diff --git a/foundry.toml b/foundry.toml
@@ -5,7 +5,7 @@ via-ir = true
 optimizer_runs = 4294967295
 
 [profile.default.invariant]
-runs = 0
+runs = 8
 depth = 256
 fail_on_revert = true