my eye

Add pyright

Committed 6888d2

--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml

-name: Run Tests and Analysis
-
+name: analyze
 on:
   push:
     branches:
   pull_request:
     branches:
       - main
-
 jobs:
-  build-linux:
+  analyze:
     strategy:
       matrix:
         python-version: ["3.10"]
         run: |
           sudo apt-get update
           sudo apt-get install -y graphviz
-
       - uses: actions/checkout@v3
         with:
           python-version: ${{ matrix.python-version }}
-
       - name: Install Python
         uses: actions/setup-python@v4
         with:
           python-version: ${{ matrix.python-version }}
-
       - name: Remove development dependencies
         run: sed -i '/\[tool.poetry.group.dev.dependencies\]/,/\[/d' pyproject.toml
-
       - name: Install Poetry
         uses: snok/install-poetry@v1
         with:
           version: 1.2.2
           virtualenvs-in-project: true
-
       - name: Install dependencies
         run: poetry install --no-interaction --no-root
-
       - name: Install library
         run: poetry install --no-interaction
-
       - name: Install development tools
         run: poetry add gmpg
-
       - uses: psf/black@stable
         with:
           options: "--check --verbose"
           src: "."
           version: "23.7"
-
       - uses: isort/isort-action@v1
         with:
           configuration: "--profile black"
-
+      - run: echo "$(poetry env info --path)/bin" >> $GITHUB_PATH
+      - uses: jakebailey/pyright-action@v1
       - name: Run tests
         run: poetry run gmpg test
-
       - name: Run analysis
         run: poetry run gmpg analyze
-
       - name: Generate dependency graph
         run: poetry run gmpg graph
-
       - uses: actions/upload-artifact@v3
         with:
           name: analysis

--- a/pyproject.toml
+++ b/pyproject.toml

+[build-system]
+requires = ["poetry-core>=1.0.0"]
+build-backend = "poetry.core.masonry.api"
+
 [tool.poetry]
 name = "webint-system"
 version = "0.0.23"
 license = "AGPL-3.0-or-later"
 packages = [{include="webint_system"}]
 
+[tool.pyright]
+reportGeneralTypeIssues = false
+reportOptionalMemberAccess = false
+
 [tool.poetry.plugins."webapps"]
 system = "webint_system:app"
 
+[[tool.poetry.source]]
+name = "main"
+url = "https://ragt.ag/code/pypi"
+
 [tool.poetry.dependencies]
 python = ">=3.10,<3.11"
 webint = ">=0.0"
 newmath = {path="../newmath", develop=true}
 sqlyte = {path="../sqlyte", develop=true}
 microformats = {path="../python-microformats", develop=true}
-
-# [[tool.poetry.source]]
-# name = "main"
-# url = "https://ragt.ag/code/pypi"
-
-[build-system]
-requires = ["poetry-core>=1.0.0"]
-build-backend = "poetry.core.masonry.api"