Skip to content

Feature: use ty for type-checking by default + remove pylint#35

Merged
krishan711 merged 3 commits into
mainfrom
ty
May 28, 2026
Merged

Feature: use ty for type-checking by default + remove pylint#35
krishan711 merged 3 commits into
mainfrom
ty

Conversation

@krishan711

Copy link
Copy Markdown
Contributor

No description provided.

Copilot AI review requested due to automatic review settings May 28, 2026 14:07

Copilot AI left a comment

Copy link
Copy Markdown

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 updates the project’s dev tooling defaults by removing the pylint-based linting path and switching the default type-checker from mypy to ty, along with dependency and Makefile updates to reflect the new workflow.

Changes:

  • Update lint-check to use Ruff exclusively and remove the --new mode/pylint integration.
  • Make ty the default type-checker (with an opt-in --mypy flag).
  • Refresh tool dependencies in pyproject.toml and update Makefile targets accordingly.

Reviewed changes

Copilot reviewed 5 out of 6 changed files in this pull request and generated 6 comments.

Show a summary per file
File Description
pyproject.toml Updates Python/version constraints and tool dependencies (adds ty, removes pylint, bumps versions).
makefile Removes --new usage and aligns lint targets with the new CLI.
CHANGELOG.md Documents the removal of pylint and the switch to ty by default.
buildpy/type_check.py Adds ty parsing/execution as default; retains mypy behind a flag.
buildpy/lint_check.py Removes pylint code-path and runs Ruff check/format consistently.

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

Comment thread pyproject.toml
Comment thread CHANGELOG.md
Comment thread buildpy/type_check.py Outdated
Comment thread buildpy/type_check.py Outdated
Comment thread buildpy/type_check.py
Comment thread buildpy/lint_check.py Outdated
@krishan711 krishan711 merged commit da46082 into main May 28, 2026
3 checks passed
@krishan711 krishan711 deleted the ty branch May 28, 2026 14:45
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.

2 participants