Move mypy linter to a separate workflow, only for PRs.

Author: acolomb

.github/workflows/pr-linters.yaml

@@ -0,0 +1,28 @@
+name: Run PR linters
+
+on:
+  pull_request:
+  workflow_dispatch:
+
+permissions:
+  contents: read
+  pull-requests: read
+
+jobs:
+
+  mypy:
+    name: Run mypy static type checker (optional)
+    runs-on: ubuntu-latest
+    continue-on-error: true
+    steps:
+    - uses: actions/checkout@v4
+    - uses: actions/setup-python@v5
+      with:
+        python-version: 3.12
+        cache: pip
+        cache-dependency-path: |
+          'pyproject.toml'
+          'requirements-dev.txt'
+    - run: pip install -r requirements-dev.txt -e .
+    - name: Run mypy and report
+      run: mypy --config-file pyproject.toml .

.github/workflows/pythonpackage.yml

@@ -61,20 +61,3 @@ jobs:
       run: python3 -m pip install -r doc/requirements.txt -e .
     - name: Build docs
       run: make -C doc html
-
-  mypy:
-    name: Run mypy static type checker (optional)
-    runs-on: ubuntu-latest
-    continue-on-error: true
-    steps:
-    - uses: actions/checkout@v4
-    - uses: actions/setup-python@v5
-      with:
-        python-version: 3.12
-        cache: pip
-        cache-dependency-path: |
-          'pyproject.toml'
-          'requirements-dev.txt'
-    - run: pip install -r requirements-dev.txt -e .
-    - name: Run mypy and report but do not fail
-      run: mypy --config-file pyproject.toml . || true