add type checking to CI (5)

.github/workflows/type-checking.yml

@@ -24,7 +24,7 @@ jobs:
         run: python -m pip install . --user && python -m pip uninstall ryven --yes
         working-directory: ./ryven-editor
       - name: Install type-checking dependencies
-        run: python -m pip install mypy pyside2 --user
+        run: python -m pip install mypy pyside2 types-Pygments --user
       - name: Typecheck
         run: mypy
         working-directory: .