Fix linter scope CI

Certora · Jan 5, 2025 · dd0c472 · dd0c472
1 parent ba0a310
commit dd0c472
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -40,7 +40,7 @@ jobs:
           poetry install
             
       - name: Run Linter
-        run: poetry run flake8 .
+        run: poetry run flake8 Quorum/
 
       - name: Execute Regression Tests
         run: |

diff --git a/setup.cfg b/setup.cfg
@@ -8,3 +8,5 @@ exclude =
     .venv,
     build,
     dist
+include =
+    Quroum/*
-Original file line number
+Diff line change
@@ Expand Up / @@ -8,3 +8,5 @@ exclude = @@
         .venv,
         build,
         dist
+    include =
+        Quroum/*