ci: update ci params

marsfoundation · Jul 4, 2024 · 3846be3 · 3846be3
1 parent 299b69f
commit 3846be3
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/foundry.toml b/foundry.toml
@@ -12,19 +12,21 @@ runs = 1000
 [invariant]
 runs = 20
 depth = 1000
-shrink_run_limit = 10000
+shrink_run_limit = 1000
 fail_on_revert = true
 
 [profile.pr.invariant]
 runs = 200
 depth = 1000
+shrink_run_limit = 50_000
 
 [profile.pr.fuzz]
 runs = 100_000
 
 [profile.master.invariant]
 runs = 200
 depth = 10_000
+shrink_run_limit = 100_000
 
 [profile.master.fuzz]
 runs = 1_000_000