fixing pipeline error

.github/workflows/pages.yml

@@ -27,7 +27,7 @@ jobs:
           pip install -r requirements/docs.txt
       - name : Build web page
         run: |
-          cd docs/build
+          cd docs
           make html
       - name: 📂 Sync files to domain
         uses: SamKirkland/[email protected]

.vscode/tasks.json

@@ -22,6 +22,24 @@
 				"reveal": "always",
 				"panel": "shared"
 			}
+		},
+		{
+			"label": "Run mypy",
+			"type": "shell",
+			"command": "mypy",
+			"args": [
+				"--ignore-missing-imports",
+				"${workspaceFolder}",
+				"--exclude",
+				"'docs|build'"
+			],
+			"problemMatcher": [
+				"$tsc"
+			],
+			"group": {
+				"kind": "build",
+				"isDefault": true
+			}
 		}
 	]
 }