Skip to content

upgrade deps#25

Merged
severo merged 1 commit intomainfrom
upgrade-deps
Dec 10, 2025
Merged

upgrade deps#25
severo merged 1 commit intomainfrom
upgrade-deps

Conversation

@severo
Copy link
Contributor

@severo severo commented Dec 10, 2025

No description provided.

@severo severo merged commit 10fecd0 into main Dec 10, 2025
4 checks passed
@severo severo deleted the upgrade-deps branch December 10, 2025 08:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant