Skip to content

Add Pyright#37

Merged
a5chin merged 7 commits into
mainfrom
feature/pyright
Oct 8, 2024
Merged

Add Pyright#37
a5chin merged 7 commits into
mainfrom
feature/pyright

Conversation

@a5chin
Copy link
Copy Markdown
Owner

@a5chin a5chin commented Oct 7, 2024

What I did

  • Add Pyright

@a5chin a5chin self-assigned this Oct 7, 2024
@a5chin a5chin merged commit 474b858 into main Oct 8, 2024
@a5chin a5chin deleted the feature/pyright branch October 8, 2024 01:01
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