Skip to content

CI: Update pixi.lock#65447

Merged
mroeschke merged 1 commit into
mainfrom
ci/update-pixi-lock
May 3, 2026
Merged

CI: Update pixi.lock#65447
mroeschke merged 1 commit into
mainfrom
ci/update-pixi-lock

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot commented May 3, 2026

Scheduled update by .github/workflows/update-pixi-lock.yml

If CI jobs fail, modify this pull request as needed.

@github-actions github-actions Bot added the CI Continuous Integration label May 3, 2026
@mroeschke mroeschke added this to the 3.1 milestone May 3, 2026
@mroeschke mroeschke merged commit 1dbec76 into main May 3, 2026
1 check passed
@mroeschke mroeschke deleted the ci/update-pixi-lock branch May 3, 2026 17:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Continuous Integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant