Skip to content

user dependent pixi paths#174

Merged
j321m merged 7 commits into
mainfrom
jm_fix_pixi_cluster_paths
Apr 14, 2026
Merged

user dependent pixi paths#174
j321m merged 7 commits into
mainfrom
jm_fix_pixi_cluster_paths

Conversation

@j321m
Copy link
Copy Markdown
Collaborator

@j321m j321m commented Apr 9, 2026

No description provided.

@j321m j321m requested review from ggwozdz2 and madragonse April 9, 2026 12:40
Copy link
Copy Markdown
Contributor

@kuba-krj kuba-krj left a comment

Choose a reason for hiding this comment

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

LGTM

@j321m j321m merged commit 7e1e115 into main Apr 14, 2026
1 check passed
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