Skip to content
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.

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

Export PyodideInterface #2443

Merged
merged 2 commits into from May 4, 2022
Merged

Conversation

hoodmane
Copy link
Member

@hoodmane hoodmane commented May 2, 2022

We should add type tests for this @mneil but I'm worried that doing it here might create conflicts with #2425 so maybe I'll hold off a bit.

Requested by @alexmojaki in #2403 (comment)

Copy link
Member

@ryanking13 ryanking13 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, @hoodmane! LGTM, just in case let's merge main to this branch before merging.

@hoodmane hoodmane merged commit 0ba04f3 into pyodide:main May 4, 2022
@hoodmane hoodmane deleted the export-pyodide-interface branch May 4, 2022 00:26
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.

None yet

2 participants