Skip to content

Latest results for all type checkers#2097

Merged
JelleZijlstra merged 1 commit intopython:mainfrom
davidhalter:zuban-cleanup
Oct 11, 2025
Merged

Latest results for all type checkers#2097
JelleZijlstra merged 1 commit intopython:mainfrom
davidhalter:zuban-cleanup

Commits

Commits on Oct 10, 2025