Skip to content
GitLab
Explore
Sign in
Register
Use pixi for dependency management
Code
Review changes
Check out branch
Download
Patches
Plain diff
Hugo Kerstens
requested to merge
pixi
into
main
Jun 20, 2024
Overview
11
Commits
10
Pipelines
7
Changes
9
Expand
This MR switches to pixi for dependency management.
Merge request reports
Loading