Skip to content

Remove unnecessary pyright ignores#74

Merged
tomtseng merged 1 commit into
mainfrom
tomtseng/pyright-ignores-unnecessary
Feb 7, 2026
Merged

Remove unnecessary pyright ignores#74
tomtseng merged 1 commit into
mainfrom
tomtseng/pyright-ignores-unnecessary

Conversation

@tomtseng

@tomtseng tomtseng commented Feb 7, 2026

Copy link
Copy Markdown
Collaborator

Changes

Ignore a bunch of unnecessary # pyright ignores, we're ignoring those rules in the pyproject.toml now so the line-by-line ignores themselves trigger a pyright warning

@tomtseng tomtseng merged commit bd28452 into main Feb 7, 2026
1 of 2 checks passed
@tomtseng tomtseng deleted the tomtseng/pyright-ignores-unnecessary branch February 7, 2026 04:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant