Skip to content

Enable every ty rule - #3673

Merged
adamtheturtle merged 1 commit into
mainfrom
codex/enable-all-ty-rules
Sep 22, 2026
Merged

adamtheturtle merged 1 commit into
mainfrom
codex/enable-all-ty-rules

Conversation

@adamtheturtle

Copy link
Copy Markdown
Member

Summary

  • enable every ty rule at error severity

  • keep strict equality and generic narrowing, and continue rejecting type: ignore comments

Testing

  • uv run --group=dev ty check

  • SKIP=snapper uv run --group=dev prek run --all-files (Snapper excluded because its repository-wide non-native Pandoc path rewrites unrelated RST)

This branch was successfully deployed

2 active deployments
development — e0775083 Deployed Sep 22, 2026 by adamtheturtle via pages #2230
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