Skip to content

docs: Update setup-pixi docs#4207

Merged
Hofer-Julian merged 1 commit intoprefix-dev:mainfrom
pavelzw:setup-pixi-headers
Jul 25, 2025
Merged

docs: Update setup-pixi docs#4207
Hofer-Julian merged 1 commit intoprefix-dev:mainfrom
pavelzw:setup-pixi-headers

Conversation

@pavelzw
Copy link
Collaborator

@pavelzw pavelzw commented Jul 25, 2025

Copy link
Contributor

@Hofer-Julian Hofer-Julian left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@Hofer-Julian Hofer-Julian merged commit 324d105 into prefix-dev:main Jul 25, 2025
41 checks passed
@pavelzw pavelzw deleted the setup-pixi-headers branch July 25, 2025 13:57
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.

2 participants