Skip to content

chore: rename pixi project to pixi workspace#3315

Merged
ruben-arts merged 8 commits intoprefix-dev:mainfrom Hofer-Julian:chore/rename-project-workspaceMar 11, 2025

Commits

Commits on Mar 10, 2025

Commits on Mar 11, 2025