Skip to content

Fix new linter errors which started appearing#495

Merged
leoschwarz merged 1 commit into
mainfrom
fix-basedpyright
May 6, 2026
Merged

Fix new linter errors which started appearing#495
leoschwarz merged 1 commit into
mainfrom
fix-basedpyright

Conversation

@leoschwarz
Copy link
Copy Markdown
Member

@leoschwarz leoschwarz commented May 5, 2026

I don't know how these issues suddenly started occuring (according to my attempts diagnosing it neither basedpyright nor pyright have changed, will watch if the issue re-surfaces), but this fixes some linter errors.

@leoschwarz leoschwarz marked this pull request as ready for review May 6, 2026 07:25
@leoschwarz leoschwarz merged commit a56912d into main May 6, 2026
4 checks passed
@leoschwarz leoschwarz deleted the fix-basedpyright branch May 6, 2026 07:25
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