Skip to content

Bump dependencies#181

Merged
eifinger merged 1 commit intomainfrom
bump-deps
Jul 14, 2025
Merged

Bump dependencies#181
eifinger merged 1 commit intomainfrom
bump-deps

Conversation

@eifinger
Copy link
Copy Markdown
Collaborator

No description provided.

@eifinger eifinger added dependencies Pull requests that update a dependency file ci Changes to automatic workflows labels Jul 14, 2025
@eifinger eifinger merged commit 0c50076 into main Jul 14, 2025
62 checks passed
@eifinger eifinger deleted the bump-deps branch July 14, 2025 08:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Changes to automatic workflows dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant