Skip to content

DEP: rewire dependencies through PyPI#7

Merged
neutrinoceros merged 1 commit into
la-niche:mainfrom
neutrinoceros:dep/portable-pins
May 18, 2026
Merged

DEP: rewire dependencies through PyPI#7
neutrinoceros merged 1 commit into
la-niche:mainfrom
neutrinoceros:dep/portable-pins

Conversation

@neutrinoceros

Copy link
Copy Markdown
Contributor

No description provided.

@neutrinoceros neutrinoceros added documentation Improvements or additions to documentation and removed documentation Improvements or additions to documentation labels May 18, 2026
@neutrinoceros neutrinoceros marked this pull request as ready for review May 18, 2026 14:07
@neutrinoceros neutrinoceros merged commit 9119351 into la-niche:main May 18, 2026
12 checks passed
@neutrinoceros neutrinoceros deleted the dep/portable-pins branch May 18, 2026 14:07
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