Replace Mypy with Pyrefly in lint workflow#59
Conversation
There was a problem hiding this comment.
Pull request overview
This PR replaces the type checker in the lint workflow by changing from ty to pyrefly. The change updates the tool installation and execution command while maintaining the same workflow structure.
Key Changes
- Updated the type checking tool from
tytopyreflyin the lint workflow
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
|
|
||
| - name: Run Mypy | ||
| run: uv tool install ty && ty check . | ||
| run: uv tool install pyrefly && pyrefly check . |
There was a problem hiding this comment.
The pyproject.toml file still contains mypy configuration under [tool.mypy] (lines 17-28). If pyrefly is replacing mypy, either remove the mypy configuration or add equivalent pyrefly configuration if needed. If pyrefly is compatible with mypy configuration, this should be documented or the configuration section should be renamed accordingly.
| run: uv tool install pyrefly && pyrefly check . | |
| run: uvx mypy . |
| @@ -28,4 +28,4 @@ jobs: | |||
| run: uvx ruff check --output-format=github . && uvx ruff format --check | |||
|
|
|||
| - name: Run Mypy | |||
There was a problem hiding this comment.
The step name "Run Mypy" is inconsistent with the actual tool being run (pyrefly). The step name should be updated to match the tool being executed.
| - name: Run Mypy | |
| - name: Run Pyrefly |
No description provided.