Skip to content

Conversation

eifinger
Copy link
Collaborator

No description provided.

@eifinger eifinger added the ci Pull requests that change the CI workflows label Sep 14, 2025
@eifinger eifinger enabled auto-merge (squash) September 14, 2025 13:01
@eifinger eifinger merged commit b75a909 into main Sep 14, 2025
77 checks passed
@eifinger eifinger deleted the bump-deps branch September 14, 2025 13:04
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