add mypy ci step

Author: BenediktSeidl

.github/workflows/lint.yml

@@ -24,3 +24,6 @@ jobs:
 
     - name: Check code style with ruff
       run: ruff format --diff
+
+    - name: Check typing with mypy
+      run: LIBSSH2_VERSION=1.11.1 LIBGIT2_VERSION=1.9.1 /bin/sh build.sh mypy

build.sh

@@ -262,6 +262,16 @@ if [ "$1" = "test" ]; then
     $PREFIX/bin/pytest --cov=pygit2
 fi
 
+# Type checking
+if [ "$1" = "mypy" ]; then
+    shift
+    if [ -n "$WHEELDIR" ]; then
+        $PREFIX/bin/pip install $WHEELDIR/pygit2*-$PYTHON_TAG-*.whl
+    fi
+    $PREFIX/bin/pip install -r requirements-test.txt
+    $PREFIX/bin/mypy pygit2
+fi
+
 # Test .pyi stub file
 if [ "$1" = "stubtest" ]; then
     shift

requirements-test.txt

@@ -1,2 +1,3 @@
 pytest
 pytest-cov
+mypy