Skip to content

Bump dependencies#85

Merged
eifinger merged 1 commit intomainfrom
update-deps
Feb 18, 2025
Merged

Bump dependencies#85
eifinger merged 1 commit intomainfrom
update-deps

Conversation

@eifinger
Copy link
Collaborator

No description provided.

@eifinger eifinger added dependencies Pull requests that update a dependency file ci Changes to automatic workflows labels Feb 18, 2025
@eifinger eifinger merged commit 39f75e5 into main Feb 18, 2025
27 checks passed
@eifinger eifinger deleted the update-deps branch February 18, 2025 10:48
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