Run mypy on CI

.github/workflows/ci.yml

@@ -75,14 +75,18 @@ jobs:
               with:
                 python-version: 3.8
 
-            - name: Check python code
-              run: |
-                  pip install flake8 sphinx
-                  python -m flake8 --count .
+            - name: Install build-only deps
+              run: pip install flake8 mypy sphinx
+
+            - name: Run pyflakes
+              run: python -m flake8 --count .
 
             - name: Build kitty package
               run: python .github/workflows/ci.py package
 
+            - name: Run mypy
+              run: python test.py mypy
+
             - name: Build man page
               run: make FAIL_WARN=-W man
 

test.py

@@ -72,7 +72,7 @@ def type_check() -> NoReturn:
     generate_stub()
     from kitty.options_stub import generate_stub  # type: ignore
     generate_stub()
-    os.execlp('mypy', 'mypy', '--pretty')
+    os.execlp(sys.executable, 'python', '-m', 'mypy', '--pretty')
 
 
 def run_tests():