Skip to content

chore: bump all types#217

Merged
chenjiahan merged 2 commits intomainfrom
bump_types_1231
Dec 31, 2024
Merged

chore: bump all types#217
chenjiahan merged 2 commits intomainfrom
bump_types_1231

Conversation

@chenjiahan
Copy link
Member

Bump all types to latest

@chenjiahan chenjiahan merged commit fcb47d7 into main Dec 31, 2024
1 check passed
@chenjiahan chenjiahan deleted the bump_types_1231 branch December 31, 2024 14:46
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