Skip to content

Bump dependencies and actions#311

Merged
eifinger merged 1 commit intomainfrom
bump-deps1
Jan 30, 2026
Merged

Bump dependencies and actions#311
eifinger merged 1 commit intomainfrom
bump-deps1

Conversation

@eifinger
Copy link
Collaborator

No description provided.

@eifinger eifinger added ci Changes to automatic workflows dependencies Pull requests that update a dependency file and removed ci Changes to automatic workflows labels Jan 30, 2026
@eifinger eifinger merged commit aedff8d into main Jan 30, 2026
65 checks passed
@eifinger eifinger deleted the bump-deps1 branch January 30, 2026 08:31
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.

1 participant