Skip to content

Pyrefly typechecker plugin#113

Merged
sureshjoshi merged 1 commit intomainfrom
pyrefly
Jan 10, 2026
Merged

Pyrefly typechecker plugin#113
sureshjoshi merged 1 commit intomainfrom
pyrefly

Conversation

@sureshjoshi
Copy link
Owner

Closes #112

@sureshjoshi sureshjoshi merged commit a31717b into main Jan 10, 2026
1 check failed
@sureshjoshi sureshjoshi deleted the pyrefly branch January 10, 2026 15:12
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.

Copy ty and swap to pyrefly

1 participant

Comments