Skip to content

🏷️ types: move to ty#68

Merged
SigureMo merged 2 commits intomainfrom
copilot/switch-from-pyright-to-ty
Apr 25, 2026
Merged

🏷️ types: move to ty#68
SigureMo merged 2 commits intomainfrom
copilot/switch-from-pyright-to-ty

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Apr 25, 2026

  • Inspect the review comments, recent commit history, and affected files
  • Restore the requested ordering in pyproject.toml
  • Revert the unintended VS Code settings addition
  • Run targeted validation for the touched files and check recent CI runs
  • Reply to the addressed review comments
  • Run final validation/review and report completion

Agent-Logs-Url: https://github.com/PFCCLab/dochooks/sessions/3a155e4a-477b-4883-9b33-26e81725a792

Co-authored-by: SigureMo <38436475+SigureMo@users.noreply.github.com>
Comment thread pyproject.toml Outdated
"pytest-rerunfailures>=16.0.1",
"tomli>=2.0.2; python_version < '3.11'",
"pre-commit>=4.3.0",
"ty>=0.0.32",
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@copilot 顺序不要动,放回最上面

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

已调整,ty 已放回 dev 依赖列表最上面。commit: 5899c2b

Comment thread .vscode/settings.json Outdated
@@ -1,4 +1,5 @@
{
"python.languageServer": "None",
Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@copilot 原来没写就别加了

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

已去掉这行额外设置,workspace 配置恢复为原来的写法。commit: 5899c2b

Agent-Logs-Url: https://github.com/PFCCLab/dochooks/sessions/71884b6c-fbe0-465b-a4ca-cda8b2363dff

Co-authored-by: SigureMo <38436475+SigureMo@users.noreply.github.com>
Copilot AI requested a review from SigureMo April 25, 2026 17:42
@SigureMo SigureMo changed the title chore: switch from pyright to ty 🏷️ types: move to ty Apr 25, 2026
@SigureMo SigureMo marked this pull request as ready for review April 25, 2026 17:42
Copilot AI review requested due to automatic review settings April 25, 2026 17:43
@SigureMo SigureMo enabled auto-merge April 25, 2026 17:43
@SigureMo SigureMo disabled auto-merge April 25, 2026 17:44
@SigureMo SigureMo merged commit ce5c100 into main Apr 25, 2026
8 checks passed
@SigureMo SigureMo deleted the copilot/switch-from-pyright-to-ty branch April 25, 2026 17:44
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR migrates the repository’s Python type-checking workflow from Pyright to Astral’s ty, aligning developer tooling, CI/just recipes, and editor recommendations.

Changes:

  • Replace pyright with ty in dev dependencies and lockfile.
  • Update just lint to run ty check --error-on-warning instead of Pyright.
  • Remove Pyright-specific configuration and let Ruff enforce F401/F841 again; update VS Code extension recommendations.

Reviewed changes

Copilot reviewed 3 out of 4 changed files in this pull request and generated no comments.

File Description
uv.lock Drops pyright and adds ty to the locked dev dependency set.
pyproject.toml Swaps dev dependency to ty, removes [tool.pyright], and stops ignoring Ruff F401/F841.
justfile Updates the lint recipe to run ty check --error-on-warning.
.vscode/extensions.json Replaces Pylance recommendation with the ty extension.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

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.

3 participants