Skip to content

🏷️ types: move to ty#93

Merged
SigureMo merged 1 commit intomainfrom
copilot/move-to-ty
Apr 25, 2026
Merged

🏷️ types: move to ty#93
SigureMo merged 1 commit intomainfrom
copilot/move-to-ty

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Apr 25, 2026

Summary

  • replace pyright with ty in the development dependencies
  • switch the lint task to python -m ty check --error-on-warning .
  • remove the old Pyright config and let Ruff enforce unused-code checks again

Validation

  • python -m pip install -e '.[dev]'
  • python -m ruff check .
  • python -m ty check --error-on-warning .
  • python -m pytest
  • python -m build

Agent-Logs-Url: https://github.com/ShigureLab/codespan-reporting-py/sessions/b48997c5-0017-49fa-9e5a-b1b950b48116

Co-authored-by: SigureMo <38436475+SigureMo@users.noreply.github.com>
Copilot AI requested a review from SigureMo April 25, 2026 18:11
@SigureMo SigureMo marked this pull request as ready for review April 25, 2026 18:47
Copilot AI review requested due to automatic review settings April 25, 2026 18:47
@SigureMo SigureMo merged commit c059207 into main Apr 25, 2026
16 checks passed
@SigureMo SigureMo deleted the copilot/move-to-ty branch April 25, 2026 18:49
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

Updates the repo’s Python typing workflow by replacing Pyright with Astral’s ty, aligning local/CI linting with the new type-check command and re-enabling Ruff’s unused-code rules now that Pyright is removed.

Changes:

  • Replace pyright dev dependency and [tool.pyright] config with ty in pyproject.toml.
  • Update just lint to run python -m ty check --error-on-warning . instead of Pyright.
  • Re-enable Ruff’s unused import/variable checks by removing F401/F841 ignores.

Reviewed changes

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

File Description
pyproject.toml Swaps Pyright for ty and adjusts Ruff ignore rules to enforce unused-code checks.
justfile Updates the lint recipe to run ty instead of Pyright.

đź’ˇ 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