Skip to content

32 fix pyright issues#33

Merged
noamteyssier merged 2 commits into
mainfrom
32-fix-pyright-issues
Jun 12, 2025
Merged

32 fix pyright issues#33
noamteyssier merged 2 commits into
mainfrom
32-fix-pyright-issues

Conversation

@noamteyssier

Copy link
Copy Markdown
Collaborator

No description provided.

@noamteyssier noamteyssier linked an issue Jun 12, 2025 that may be closed by this pull request
@noamteyssier noamteyssier merged commit d1df8d6 into main Jun 12, 2025
7 checks passed
@noamteyssier noamteyssier deleted the 32-fix-pyright-issues branch June 12, 2025 20:49
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.

fix pyright issues

1 participant