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

FEAT: remove Pixi configuration if not listed in --package-managers #377

Merged
merged 3 commits into from
Aug 13, 2024

Conversation

redeboer
Copy link
Member

@redeboer redeboer commented Aug 13, 2024

Follow-up to #374 and #375. It is made possible with #376

@redeboer redeboer added the ✨ Feature New feature added to the package label Aug 13, 2024
@redeboer redeboer added this to the 0.4.0 milestone Aug 13, 2024
@redeboer redeboer self-assigned this Aug 13, 2024
@redeboer redeboer merged commit 69c61c1 into ComPWA:main Aug 13, 2024
24 checks passed
@redeboer redeboer deleted the update-pixi branch August 13, 2024 07:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
✨ Feature New feature added to the package
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant