non-kontrol snapshot

term-finance · Nov 15, 2024 · ad18388 · ad18388
1 parent f434192
commit ad18388
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -18,7 +18,8 @@ jobs:
       - name: Run non-Kontrol tests
         run: |
           forge test --no-match-path "src/test/kontrol/*" -vvv
-      - run: forge snapshot
+      - name: Run snapshot without Kontrol tests
+        run: forge snapshot --no-match-path "src/test/kontrol/*"
   formal-verification:
     runs-on: ubuntu-latest
     needs: test