Skip to content

Conversation

agriyakhetarpal
Copy link
Member

@agriyakhetarpal agriyakhetarpal commented Aug 26, 2025

This PR is the same as #202, but against the main branch.

TODO items:

See also: #205

Copy link
Contributor

lite-badge 👈 Try it on ReadTheDocs

@agriyakhetarpal
Copy link
Member Author

Oh, actually, it looks like the new micropip changes have been added in #203 already. In that case, is there more that we need to do here?

@agriyakhetarpal
Copy link
Member Author

I'd be happy to share a few ideas on #205 when I have a moment to sit down and compile them, if that helps. :)

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

Successfully merging this pull request may close these issues.

1 participant