Skip to content

Close most of the mypy Optional-narrowing gap, fix bugs it surfaced - #10

Merged
petercorke merged 1 commit into
mainfrom
chore/mypy-cleanup
Sep 3, 2026
Merged

petercorke merged 1 commit into
mainfrom
chore/mypy-cleanup

Commits

  1. Commits on Sep 3, 2026