Skip to content

Add ty type checker alongside mypy#3

Merged
rustyconover merged 1 commit into
mainfrom
feat-try-ty
Jan 2, 2026
Merged

Add ty type checker alongside mypy#3
rustyconover merged 1 commit into
mainfrom
feat-try-ty

Conversation

@rustyconover

Copy link
Copy Markdown
Contributor

Summary

  • Add ty (Astral's type checker) to dev dependencies alongside mypy
  • Add ty check step to CI workflow so both type checkers run
  • Fix a type error that ty found but mypy missed: subprocess.Popen.stdout is typed as IO[bytes] but io.BufferedReader expects RawIOBase

Test plan

  • uv run ty check vgi/ passes
  • uv run mypy vgi/ passes
  • All 412 tests pass
  • CI runs both type checkers successfully

🤖 Generated with Claude Code

- Add ty to dev dependencies
- Add [tool.ty.environment] config in pyproject.toml
- Add ty check step to CI workflow
- Fix type error in client.py that ty found but mypy missed:
  subprocess.Popen.stdout is typed as IO[bytes] but BufferedReader
  expects RawIOBase, requiring an explicit cast

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
@rustyconover rustyconover merged commit fa076c4 into main Jan 2, 2026
16 checks passed
@rustyconover rustyconover deleted the feat-try-ty branch January 2, 2026 20:02
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