Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Convert CI to pixi build #53

Closed
tdejager opened this issue Jan 9, 2025 · 1 comment
Closed

Convert CI to pixi build #53

tdejager opened this issue Jan 9, 2025 · 1 comment
Assignees
@nichmor
Labels
Build

Comments

@tdejager
Copy link
Contributor

tdejager commented Jan 9, 2025

Currently, this repository does not make full use of pixi, for example we are not using the pixi environment in CI. We should actually start doing this as it makes the whole thing more reproducible.
@tdejager tdejager mentioned this issue Jan 9, 2025
Merged
@nichmor nichmor changed the title Convert CI to pixi and create associated tasks Convert CI to pixi build Mar 17, 2025
@nichmor nichmor self-assigned this Mar 19, 2025
@baszalmstra baszalmstra added the Pixi label Mar 27, 2025 — with Linear
@baszalmstra baszalmstra added Build and removed Pixi labels Mar 27, 2025
@nichmor
Copy link
Contributor

nichmor commented Mar 28, 2025

closed by #98

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

@nichmor nichmor

Labels
Build
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@tdejager @baszalmstra @ruben-arts @nichmor