Skip to content
New issue

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

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

Already on GitHub? # to your account

Add py.typed to the Python binding package #2000

Closed
wants to merge 1 commit into from

Conversation

omer54463
Copy link
Contributor

It seems that the python bindings have great type hints, but due to the lack of a py.typed file, mypy doesn't use them.
This PR solves the issue.

@omer54463
Copy link
Contributor Author

I now realize I created a pull request into master, which is probably not what I should've done.
I'm not sure whether I should create a PR into dev or next or another branch. Any help would be appreciated :)

@wtdcode
Copy link
Member

wtdcode commented Sep 20, 2024

Yes, this shall go do dev branch.

@omer54463 omer54463 changed the base branch from master to dev September 20, 2024 21:04
@omer54463 omer54463 closed this Sep 20, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants