Skip to content

Add new type checker#19

Merged
ZequnZ merged 4 commits intomainfrom
test-new-type-checker
Dec 7, 2025
Merged

Add new type checker#19
ZequnZ merged 4 commits intomainfrom
test-new-type-checker

Conversation

@ZequnZ
Copy link
Owner

@ZequnZ ZequnZ commented Dec 7, 2025

Description

Test out ty and pyrefly and add them into the template

Type of change

Please delete options that are not relevant.

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • This change requires a documentation update

@ZequnZ ZequnZ merged commit c154b74 into main Dec 7, 2025
0 of 2 checks passed
@ZequnZ ZequnZ deleted the test-new-type-checker branch December 7, 2025 21:50
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