Speed up tests in CI

.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,

foundry.toml

@@ -7,7 +7,7 @@
 
 [profile.ci]
   fuzz = { runs = 5000 }
-  invariant = { runs = 1000 }
+  invariant = { runs = 500 }
 
 [profile.lite]
   fuzz = { runs = 50 }