Skip to content

Conversation

@eifinger
Copy link
Collaborator

No description provided.

@eifinger eifinger added the dependencies Pull requests that update a dependency file label Oct 12, 2025
@eifinger eifinger merged commit 3259c62 into main Oct 12, 2025
88 checks passed
@eifinger eifinger deleted the bump-dependencies branch October 12, 2025 18:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants