Skip to content

python api: added py.typed #1078

Merged
haixuanTao merged 1 commit intodora-rs:mainfrom
dieu-detruit:api_python-add_py_typed_marker
Jul 21, 2025
Merged

python api: added py.typed #1078
haixuanTao merged 1 commit intodora-rs:mainfrom
dieu-detruit:api_python-add_py_typed_marker

Conversation

@dieu-detruit
Copy link
Copy Markdown
Contributor

The python api library (dora-rs) is now missing py.typed, so mypy emits error on import of dora.

In this PR, I just added py.typed to apis/python/node/dora directory.
Maturin automatically install the file to the package.

I've tested installation of this branch version like below, and I confirmed py.typed is inside the site-packages/dora.

$ uv add --branch api_python-add_py_typed_marker "git+https://github.com/dieu-detruit/dora.git#subdirectory=apis/python/node"

@haixuanTao
Copy link
Copy Markdown
Collaborator

Very cool! Thanks!

@haixuanTao haixuanTao merged commit 6d821c3 into dora-rs:main Jul 21, 2025
175 of 176 checks passed
@phil-opp
Copy link
Copy Markdown
Collaborator

Huh, this seems to be an empty PR? The merge commid 6d821c3 seems to be empty too?

@dieu-detruit
Copy link
Copy Markdown
Contributor Author

dieu-detruit commented Jul 21, 2025

Not an empty PR, but only adding an empty file py.typed

@phil-opp
Copy link
Copy Markdown
Collaborator

Ah, thanks for clarifying!

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.

3 participants