Skip to content

Conversation

@github-actions
Copy link
Contributor

Automated changes by create-pull-request GitHub action

@github-actions github-actions bot requested a review from pavelzw as a code owner January 14, 2025 06:03
@github-actions github-actions bot added the enhancement New feature or request label Jan 14, 2025
@pavelzw pavelzw mentioned this pull request Jan 14, 2025
@pavelzw pavelzw closed this Jan 14, 2025
@pavelzw pavelzw reopened this Jan 14, 2025
@pavelzw pavelzw enabled auto-merge (squash) January 14, 2025 08:41
@pavelzw pavelzw merged commit 29b5e3a into main Jan 14, 2025
23 checks passed
@pavelzw pavelzw deleted the bump-pixi-v0.40.0 branch January 14, 2025 08:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants