Skip to content

bump pixi#13

Merged
benmoss merged 2 commits intomainfrom
bump-pixi
Oct 29, 2025
Merged

bump pixi#13
benmoss merged 2 commits intomainfrom
bump-pixi

Conversation

@benmoss
Copy link
Owner

@benmoss benmoss commented Oct 29, 2025

No description provided.

@benmoss benmoss enabled auto-merge October 29, 2025 14:34
@benmoss benmoss merged commit e80ce2e into main Oct 29, 2025
9 checks passed
@benmoss benmoss deleted the bump-pixi branch October 29, 2025 15:01
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.

1 participant