CI: pyright in github actions

.github/mypy_check.sh

@@ -1,5 +0,0 @@
-if [ "$(basename "$(pwd)")" = ".github" ]; then
-    cd ..
-fi
-
-xargs mypy --strict --follow-imports=silent --no-warn-unused-ignore --install-types --non-interactive typings < .github/mypy_files.txt

.github/mypy_files.txt

@@ -1,2 +0,0 @@
-worlds/AutoSNIClient.py
-Patch.py

.github/pyright-config.json

@@ -0,0 +1,26 @@
+{
+  "include": [
+    "../worlds/AutoSNIClient.py",
+    "../Patch.py"
+  ],
+
+  "exclude": [
+    "**/__pycache__"
+  ],
+
+  "stubPath": "../typings",
+
+  "typeCheckingMode": "strict",
+  "reportImplicitOverride": "error",
+  "reportMissingImports": true,
+  "reportMissingTypeStubs": true,
+
+  "pythonVersion": "3.8",
+  "pythonPlatform": "Linux",
+
+  "executionEnvironments": [
+    {
+      "root": ".."
+    }
+  ]
+}

.github/type_check.sh

@@ -0,0 +1,5 @@
+if [ "$(basename "$(pwd)")" = ".github" ]; then
+    cd ..
+fi
+
+xargs pyright -p .github/pyright-config.json

.github/workflows/strict-type-check.yml

@@ -20,8 +20,8 @@ jobs:
 
       - name: "Install dependencies"
         run: |
-          python -m pip install --upgrade pip mypy
+          python -m pip install --upgrade pip pyright
           python ModuleUpdate.py --append "WebHostLib/requirements.txt" --force --yes
 
-      - name: "mypy: strict check on specific files"
-        run: .github/mypy_check.sh
+      - name: "pyright: strict check on specific files"
+        run: .github/type_check.sh