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
- committed
- committed
- committed