Move mypy to separate CI job

SleipnirGroup · Jan 29, 2025 · c6a7c89 · c6a7c89
1 parent 6f26bad
commit c6a7c89
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 2 deletions.
diff --git a/.github/workflows/choreolib.yml b/.github/workflows/choreolib.yml
@@ -241,6 +241,23 @@ jobs:
         with:
           name: Python
           path: ./choreolib/py/dist
+  lint-python:
+    name: "Lint Python"
+    runs-on: ubuntu-24.04
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+          persist-credentials: false
+          token: ${{secrets.GITHUB_TOKEN}}
+
+      - uses: actions/setup-python@v5
+        with:
+          python-version: 3.12
+
+      - run: pip3 install mypy wpilib
+
+      - run: mypy --pretty --show-column-numbers choreolib/py
 
   pypi-publish:
     name: Upload release to PyPI

diff --git a/.github/workflows/lint-format.yml b/.github/workflows/lint-format.yml
@@ -56,7 +56,7 @@ jobs:
         with:
           python-version: 3.12
 
-      - run: pip3 install wpiformat==2024.51 mypy
+      - run: pip3 install wpiformat==2024.51
 
       - run: pnpm run fmt
 

diff --git a/package.json b/package.json
@@ -20,7 +20,7 @@
     "fmtRs": "cargo fmt",
     "lintJs": "eslint --fix src",
     "lintPy": "mypy --pretty --show-column-numbers choreolib/py",
-    "fmt": "pnpm run fmtCpp && pnpm run fmtJava && pnpm run fmtJs && pnpm run fmtRs && pnpm run lintJs && pnpm run lintPy",
+    "fmt": "pnpm run fmtCpp && pnpm run fmtJava && pnpm run fmtJs && pnpm run fmtRs && pnpm run lintJs",
     "clean": "cargo clean && rm -rf dist && rm -rf node_modules",
     "dev": "tauri dev",
     "build": "tauri build -- --workspace",