From 473899da8ee0c282b55ae94f5a294bf807ba3ebc Mon Sep 17 00:00:00 2001
From: David Laprade <david.laprade@gmail.com>
Date: Tue, 10 Dec 2024 17:02:49 -0500
Subject: [PATCH] Speed up tests in CI

---
 .github/workflows/ci.yml | 2 ++
 foundry.toml             | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

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 }