Skip to content

mypy over core/ reaches zero; the ratchet becomes a tripwire - #123

Merged
qmohsu merged 1 commit into
mainfrom
claude/mypy-wave-e-zero
Aug 30, 2026
Merged

qmohsu merged 1 commit into
mainfrom
claude/mypy-wave-e-zero

Commits

  1. Commits on Aug 30, 2026