Skip to content

Update pixi, actions/checkout and prefix-dev/setup-pixi version in generated gha jobs#113

Merged
Tobias-Fischer merged 1 commit intomasterfrom
traversaro-patch-2
Feb 10, 2026
Merged

Update pixi, actions/checkout and prefix-dev/setup-pixi version in generated gha jobs#113
Tobias-Fischer merged 1 commit intomasterfrom
traversaro-patch-2

Conversation

@traversaro
Copy link
Member

No description provided.

@Tobias-Fischer Tobias-Fischer merged commit 7c7eae9 into master Feb 10, 2026
4 checks passed
@Tobias-Fischer
Copy link
Contributor

Thanks Silvio!

@Tobias-Fischer Tobias-Fischer deleted the traversaro-patch-2 branch February 10, 2026 21:57
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.

2 participants