Skip to content

#510 migrate to pixi Python environment manager#513

Merged
tomkralidis merged 17 commits into
masterfrom
510-pixi-deploy
Jul 20, 2026
Merged

#510 migrate to pixi Python environment manager#513
tomkralidis merged 17 commits into
masterfrom
510-pixi-deploy

Conversation

@justb4

@justb4 justb4 commented Jul 7, 2026

Copy link
Copy Markdown
Member

Migrate to pixi env manager. Also involves package upgrades and in particular Docker build and deploy.

NB as long as title this PR starts with 'WIP' do not merge.

@justb4 justb4 self-assigned this Jul 7, 2026
@justb4 justb4 changed the title WIP #510 migrate to pixi Python environment manager #510 migrate to pixi Python environment manager Jul 14, 2026
@justb4

justb4 commented Jul 14, 2026

Copy link
Copy Markdown
Member Author

I thinkwe are good to go. Possibly we need to fix here and there. But the main functionalities are:

  • introduce pyproject.toml allowing Pixi (and other Env managers) but also can use Python vanilla env/build
  • Docker Multistage build with Pixi, slimming uncompressed Image from 977MB to 561MB,

So Pixi is handy but not required. Pixi is not even in the final Docker Image.

@justb4 justb4 added this to the Version 0.10.0 milestone Jul 16, 2026
@tomkralidis
tomkralidis merged commit d58caae into master Jul 20, 2026
3 checks passed
@tomkralidis
tomkralidis deleted the 510-pixi-deploy branch July 20, 2026 10:17

@tomkralidis tomkralidis 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.

+1/approve, great work here @justb4 !

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants