Skip to content

Remove unnecessary pyright ignores#74

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

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

Conversation

@tomtseng
Copy link
Collaborator

@tomtseng tomtseng commented Feb 7, 2026

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