Skip to content

Conversation

@mridang
Copy link
Collaborator

@mridang mridang commented Jan 22, 2026

Description

This PR migrates the project's type checking tooling from mypy to ty (Astral's new Rust-based type checker). The migration includes updating the GitHub Actions workflow, devbox configuration, and pyproject.toml dependencies.

Related Issue

N/A - Tooling modernization

Motivation and Context

ty is an extremely fast Python type checker written in Rust by Astral (the creators of ruff). Migrating from mypy to ty provides significantly faster type checking performance and aligns our tooling stack with modern Rust-based Python tools.

How Has This Been Tested?

  • Ran poetry run ty check locally to verify type checking works correctly
  • Verified the GitHub Actions workflow executes successfully
  • Confirmed all existing type annotations are compatible with ty

Documentation:

N/A - Internal tooling change

Checklist:

  • I have updated the documentation accordingly.
  • I have assigned the correct milestone or created one if non-existent.
  • I have correctly labeled this pull request.
  • I have linked the corresponding issue in this description.
  • I have requested a review from at least 2 reviewers
  • I have checked the base branch of this pull request
  • I have checked my code for any possible security vulnerabilities

@mridang mridang self-assigned this Jan 22, 2026
@mridang mridang force-pushed the chore/switch-to-ty-and-configure-caches branch from d966643 to 6127adb Compare January 22, 2026 09:55
@mridang mridang changed the title chore(tooling): configure and update cache directories and switch fro… chore(tooling): tweak cache directories and switch to ty Jan 22, 2026
@mridang mridang merged commit 1875c5a into beta Jan 22, 2026
14 checks passed
mridang added a commit that referenced this pull request Jan 29, 2026
mridang added a commit that referenced this pull request Jan 29, 2026
mridang added a commit that referenced this pull request Jan 29, 2026
mridang added a commit that referenced this pull request Jan 29, 2026
mridang added a commit that referenced this pull request Jan 30, 2026
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