fix pyright errors #1933

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

eruvanos merged 2 commits into development from update_pyright

Nov 28, 2023

Member

eruvanos commented Nov 27, 2023 •

edited

Loading

I am using overload function to catch a few typing issues. Furthermore I use some workaround for the missing EllipsisType (Python 3.10+)

eruvanos added 2 commits

November 27, 2023 21:55


          fix types

a0712ed


          fix types

0b22eef

eruvanos merged commit 638a24f into development

eruvanos deleted the update_pyright branch

November 28, 2023 04:44

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet