pipenv run mypy

Co-authored-by: James <[email protected]>
osuAkatsuki · Sep 23, 2023 · 830a113 · 830a113
1 parent 0c54066
commit 830a113
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/lint.yaml b/.github/workflows/lint.yaml
@@ -1,7 +1,9 @@
 name: Lint
 
 on:
-  push
+  push:
+    paths:
+      - '*.py'
 
 jobs:
   mypy:
@@ -20,4 +22,4 @@ jobs:
       - name: Install dependencies
         run: pipenv install --dev --deploy
       - name: Run mypy
-        run: mypy --strict --ignore-missing-imports .
+        run: pipenv run mypy --strict --ignore-missing-imports .