build.yml: Simplify use of pyright by going through 'sage -tox'

Commit

2 years ago

.github/workflows/build.yml: Simplify use of pyright by going through 'sage -tox'

Author

mkoeppe

Parents