ci: add Pyrefly type validation and fix existing errors#410
Open
danudey wants to merge 2 commits intonewAM:mainfrom
Open
ci: add Pyrefly type validation and fix existing errors#410danudey wants to merge 2 commits intonewAM:mainfrom
danudey wants to merge 2 commits intonewAM:mainfrom
Conversation
Owner
|
Thanks for all the fixes! Can you resolve the conflict? I think there may also be some syntaxes that need to be changed for older python versions, I try to maintain support for all versions still getting official security updates. Feel free to ignore 3.9 though, support for that version ends this month. |
Contributor
Author
|
Sounds good, I'll switch over to testing with 3.10 then and see if anything needs fixing then update the branch again. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Pyrefly is a new, incredibly fast, type checker written in Rust by Meta. This PR adds pyrefly as a check, and also fixes all the existing issues it finds.
A few notes: