Skip to content

[codex] Migrate type checking to ty#159

Merged
jayhack merged 3 commits into
developfrom
codex/migrate-to-ty
Jun 22, 2026
Merged

[codex] Migrate type checking to ty#159
jayhack merged 3 commits into
developfrom
codex/migrate-to-ty

Conversation

@jayhack

@jayhack jayhack commented Jun 22, 2026

Copy link
Copy Markdown
Contributor

Summary

  • replace the mypy dev dependency, config, and workflow with Astral ty
  • add project-level ty config scoped to packaged Python source and build hooks
  • add Cython stubs for compiled sort/resolution/utils imports
  • clean up wrapt decorator annotations so the touched decorator module passes ty
  • update rust-rewrite handoff docs to reference ty instead of mypy

Validation

  • uv lock --check
  • uv run ty check --output-format=concise src/graph_sitter/core/autocommit/decorators.py src/graph_sitter/compiled/sort.pyi src/graph_sitter/compiled/resolution.pyi src/graph_sitter/compiled/utils.pyi
  • uv run python -m py_compile src/graph_sitter/core/autocommit/decorators.py
  • parsed pyproject.toml and .github/workflows/ty.yml
  • git diff --check

Notes

A full configured ty check still reports inherited source type debt. The new workflow checks changed packaged Python source going forward rather than adding blanket ignores for the existing backlog.

@vercel

vercel Bot commented Jun 22, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
graph-sitter Ready Ready Preview, Comment Jun 22, 2026 5:54pm

Request Review

@jayhack jayhack marked this pull request as ready for review June 22, 2026 17:54
@jayhack jayhack requested a review from a team as a code owner June 22, 2026 17:54
@jayhack jayhack requested review from kopekC and removed request for a team June 22, 2026 17:54
@jayhack jayhack merged commit 4dfad2f into develop Jun 22, 2026
10 of 11 checks passed
@jayhack jayhack deleted the codex/migrate-to-ty branch June 22, 2026 17:54
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.

1 participant