Skip to content

update ci; add pixi#42

Merged
DirkEilander merged 4 commits intomainfrom
ci
Feb 21, 2024
Merged

update ci; add pixi#42
DirkEilander merged 4 commits intomainfrom
ci

Conversation

@DirkEilander
Copy link
Copy Markdown
Contributor

No description provided.

@DirkEilander DirkEilander merged commit 45c5e63 into main Feb 21, 2024
@DirkEilander DirkEilander deleted the ci branch February 21, 2024 13:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant