Repository navigation

Zuban Update - #2085

Merged

rchen152 merged 3 commits into

python:mainfrom

davidhalter:zuban-update

Oct 9, 2025

Merged

Zuban Update#2085
rchen152 merged 3 commits into
python:mainfrom
davidhalter:zuban-update

Commits on Sep 12, 2025
- Make it possible to run only a specific type checker
  davidhalter
  committed
  2dc2643
Commits on Sep 23, 2025
- In some cases a test around Never could mark too many statements after it as unreachable
  davidhalter
  committed
  28a7aed
- Upgrade test results
  davidhalter
  committed
  5d1d8e5