Skip to content

Update deps#123

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

Update deps#123
jakubno merged 2 commits intomainfrom
update-deps

Conversation

@jakubno
Copy link
Copy Markdown
Member

@jakubno jakubno commented Jun 19, 2025

@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