Bump pyright version (#2871)

and fix all reported issues.

We aren't sticking to the latest version this time because it has [a bug](https://github.com/microsoft/pyright/issues/5968).
This commit is contained in:
Alexander Kukushkin
2023-09-20 12:13:23 +02:00
parent 6e82de8751
commit 9d7e7174fc
8 changed files with 35 additions and 14 deletions
+25 -1
View File
@@ -173,4 +173,28 @@ jobs:
- uses: jakebailey/pyright-action@v1
with:
version: 1.1.320
version: 1.1.326
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Set up Python 3.11
uses: actions/setup-python@v4
with:
python-version: 3.11
cache: pip
- name: Install dependencies
run: pip install tox
- name: Install package dependencies
run: |
sudo apt update \
&& sudo apt install -y \
latexmk texlive-latex-extra tex-gyre \
--no-install-recommends
- name: Generate documentation
run: tox -m docs