Skip to content

Minor updates around type annotations - #45

Merged
yugokato merged 1 commit into
mainfrom
minor-updates
Feb 20, 2026
Merged

Minor updates around type annotations#45
yugokato merged 1 commit into
mainfrom
minor-updates

Conversation

@yugokato

Copy link
Copy Markdown
Owner

No description provided.

@yugokato
yugokato merged commit a46816d into main Feb 20, 2026
14 checks passed
@yugokato
yugokato deleted the minor-updates branch February 20, 2026 20:02
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