Skip to content

Comments

Updates types#11

Merged
TAINCER merged 1 commit intomainfrom
chore/update-types
Jun 1, 2025
Merged

Updates types#11
TAINCER merged 1 commit intomainfrom
chore/update-types

Conversation

@TAINCER
Copy link
Member

@TAINCER TAINCER commented Jun 1, 2025

No description provided.

@TAINCER TAINCER self-assigned this Jun 1, 2025
@TAINCER TAINCER merged commit 9cc7b57 into main Jun 1, 2025
2 checks passed
@TAINCER TAINCER deleted the chore/update-types branch June 1, 2025 18:26
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