Skip to content

Bump dependencies#532

Merged
eifinger merged 1 commit into
mainfrom
bump-deps
Aug 21, 2025
Merged

Bump dependencies#532
eifinger merged 1 commit into
mainfrom
bump-deps

Conversation

@eifinger
Copy link
Copy Markdown
Collaborator

No description provided.

@eifinger eifinger added the ci Pull requests that change the CI workflows label Aug 21, 2025
@eifinger eifinger enabled auto-merge (squash) August 21, 2025 09:21
@eifinger eifinger merged commit 4959332 into main Aug 21, 2025
72 checks passed
@eifinger eifinger deleted the bump-deps branch August 21, 2025 09:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Pull requests that change the CI workflows

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant