Skip to content

Update deps#123

Merged
jakubno merged 2 commits into
mainfrom
update-deps
Jun 19, 2025
Merged

Update deps#123
jakubno merged 2 commits into
mainfrom
update-deps

Conversation

@jakubno

@jakubno jakubno commented Jun 19, 2025

Copy link
Copy Markdown
Member

@jakubno jakubno self-assigned this Jun 19, 2025
@jakubno jakubno added the dependencies Pull requests that update a dependency file label Jun 19, 2025
@jakubno jakubno enabled auto-merge (squash) June 19, 2025 23:29
@jakubno jakubno merged commit 64ffb03 into main Jun 19, 2025
6 checks passed
@jakubno jakubno deleted the update-deps branch June 19, 2025 23:42
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