Ensure we run correct mypy

MilesCranmer · Dec 30, 2023 · 8ed9212 · 8ed9212
1 parent f0a34d7
commit 8ed9212
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -164,8 +164,8 @@ jobs:
       - name: "Install PySR and all dependencies"
         run: |
             python -m pip install --upgrade pip
-            pip install -r requirements.txt
-            pip install mypy jax jaxlib torch
+            python -m pip install -r requirements.txt
+            python -m pip install mypy jax jaxlib torch
             python setup.py install
       - name: "Run mypy"
-        run: mypy --install-types --non-interactive pysr
+        run: python -m mypy --install-types --non-interactive pysr