Skip to content

Add ty type checking and fix typing issues - #126

Merged
filmor merged 1 commit into
mainfrom
improve/type-checking
Sep 21, 2026
Merged

filmor merged 1 commit into
mainfrom
improve/type-checking

Conversation

@filmor

@filmor filmor commented Sep 20, 2026

Copy link
Copy Markdown
Member

No description provided.

@filmor
filmor force-pushed the improve/type-checking branch from 6fd5d73 to 80fe342 Compare September 20, 2026 16:35
@filmor
filmor merged commit 1a113c4 into main Sep 21, 2026
47 checks passed
@filmor
filmor deleted the improve/type-checking branch September 21, 2026 18:28
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