Skip to content

Migrated to pixi managed environment - #9

Merged
CPrutean merged 8 commits into
mainfrom
pixi
Jun 17, 2026
Merged

CPrutean merged 8 commits into
mainfrom
pixi

Conversation

@RadAlpaca11

@RadAlpaca11 RadAlpaca11 commented May 28, 2026

Copy link
Copy Markdown
Member

This pull request migrates the development environment to use Pixi for dependency and environment management, replacing direct system installs of ROS, Python, and tooling. The changes streamline both the Docker-based devcontainer and CI workflows, making environment setup more reproducible and maintainable.

Authored by @alexrsing

@matejstastny matejstastny changed the title Pixi Migrated to pixi managed environment May 29, 2026
@TrickfireRobotics TrickfireRobotics deleted a comment from alexrsing May 29, 2026
@matejstastny matejstastny added the CI Change affecting CI label May 29, 2026
@RadAlpaca11

Copy link
Copy Markdown
Member Author

Works for me!

@alexrsing
alexrsing self-requested a review June 15, 2026 18:54
Comment thread .clang-format Outdated
@alexrsing
alexrsing requested a review from CPrutean June 15, 2026 19:02

@matejstastny matejstastny left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Looks good, merging.

@CPrutean CPrutean left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Lgtm

@CPrutean
CPrutean merged commit b259563 into main Jun 17, 2026
4 checks passed
@CPrutean
CPrutean deleted the pixi branch June 17, 2026 18:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Change affecting CI pixi

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants