Skip to content

Deactivate pixi build CI#30

Merged
jorisv merged 3 commits intoSimple-Robotics:develfrom
jorisv:topic/deactivate-pixi-build-ci
Mar 19, 2026
Merged

Deactivate pixi build CI#30
jorisv merged 3 commits intoSimple-Robotics:develfrom
jorisv:topic/deactivate-pixi-build-ci

Commits

Commits on Mar 19, 2026