Skip to content

Check for unused pyright: ignore and differentiate from mypy ignores#9397

Merged
AlexWaygood merged 8 commits intopython:mainfrom
Avasam:pyright-no-unused-pyright-ignore-comments
Dec 28, 2022
Merged

Check for unused `pyright: ignore` and differentiate from mypy ignores#9397
AlexWaygood merged 8 commits intopython:mainfrom
Avasam:pyright-no-unused-pyright-ignore-comments

Commits

Commits on Dec 21, 2022

Commits on Dec 22, 2022

Commits on Dec 26, 2022