gha: add python mypy checking

Signed-off-by: Aleksa Sarai <cyphar@cyphar.com>

.github/workflows/bindings-python.yml

@@ -27,6 +27,24 @@ on:
 name: bindings-python
 
 jobs:
+  # TODO: Do some kind of lints?
+
+  mypy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      # Set up python venv.
+      - uses: actions/setup-python@v5
+      - name: install mypy
+        run: >-
+          python3 -m pip install --user mypy
+      - uses: tsuyoshicho/action-mypy@v4
+        with:
+          github_token: ${{ secrets.github_token }}
+          reporter: github-pr-review
+          level: warning
+          workdir: contrib/bindings/python/pathrs
+
   smoke-test:
     strategy:
       fail-fast: false
@@ -75,6 +93,7 @@ jobs:
 
   complete:
     needs:
+      - mypy
       - smoke-test
     runs-on: ubuntu-latest
     steps: