New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improve CI for pyright #116

Merged

rsokl merged 3 commits into main from unpin-pyright

Jan 4, 2023

Contributor

rsokl commented Jan 4, 2023

remove redundant actions;
use tox to run pyright
manage pyright with dependabot

rsokl added 3 commits

January 4, 2023 11:56


          remove redundant actions; use tox to run pyright; manage pyright with…

b19963a

… dependabot


          fix pyright cmd and fix type issues

5289d6d


          update path

be6ab9b

rsokl added test-suite type-checking labels

rsokl merged commit 5c98267 into main

rsokl deleted the unpin-pyright branch

January 4, 2023 17:13

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment