.github/workflows/build.yml: Adjust pyright to venv not set in pyrightconfig.json

Author: Matthias Koeppe

.github/workflows/build.yml

@@ -103,6 +103,12 @@ jobs:
           MAKE: make -j2 --output-sync=recurse
           SAGE_NUM_THREADS: 2
 
+      - name: Add venv to PATH for pyright
+        if: always() && steps.worktree.outcome == 'success'
+        # https://github.com/jakebailey/pyright-action#use-with-a-virtualenv
+        run: echo "$PWD/venv/bin" >> $GITHUB_PATH
+        working-directory: ./worktree-image
+
       - name: Static code check with pyright
         if: always() && steps.worktree.outcome == 'success'
         uses: jakebailey/pyright-action@v1

pyrightconfig.json

@@ -1,15 +1,10 @@
 {
     "include": [
-      "src"
+      "src/sage"
     ],
-    "executionEnvironments": [
-      {
-        "root": "src"
-      }
-    ],  
+    "stubPath": "src/typings",
     "pythonVersion": "3.9",
     "exclude": ["venv"],
-    "venvPath": "./venv/",
 
     "reportGeneralTypeIssues": "warning",
     "reportUnboundVariable": "warning",