Skip to content
This repository was archived by the owner on Dec 18, 2025. It is now read-only.

Prepare for archiving the repo#78

Merged
stanmart merged 4 commits into
mainfrom
pixi
Dec 18, 2025
Merged

Prepare for archiving the repo#78
stanmart merged 4 commits into
mainfrom
pixi

Conversation

@stanmart
Copy link
Copy Markdown
Owner

Add a pixi manifest and lockfile for reproducibility

@stanmart stanmart merged commit 4e44aa1 into main Dec 18, 2025
3 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant