Skip to content

Conversation

@johnthagen
Copy link
Owner

@johnthagen johnthagen self-assigned this Oct 21, 2025
@johnthagen johnthagen added the dependencies Pull requests that update a dependency file label Oct 21, 2025
@johnthagen johnthagen merged commit 39e1051 into main Oct 21, 2025
18 checks passed
@johnthagen johnthagen deleted the update-uv branch October 21, 2025 17:19
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