Run mypy also on the GUI

.github/workflows/mypy.yml

@@ -13,5 +13,9 @@ jobs:
         python-version: '3.x'
     - name: Install dependencies
       run: pip install -r test-requirements.txt
+    - name: Find py files
+      run: find / 2> /dev/null | grep pyi$
+    - name: Workaround pyqt5 issue
+      run: sudo touch /opt/hostedtoolcache/Python/3.9.1/x64/lib/python3.9/site-packages/PyQt5/typed.py
     - name: mypy
       run: make mypy

Makefile

@@ -22,8 +22,8 @@ relational_gui/resources.py:
 	pyrcc5 relational_gui/resources.qrc > relational_gui/resources.py
 
 .PHONY: mypy
-mypy:
-	mypy relational relational_readline
+mypy: gui
+	mypy relational relational_readline relational_gui
 
 .PHONY: test
 test:

test-requirements.txt

@@ -1,3 +1,4 @@
 mypy
 typedload
+pyqt5
 xtermcolor