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

Close most of the mypy Optional-narrowing gap, fix bugs it surfaced#10
petercorke merged 1 commit into
mainfrom
chore/mypy-cleanup

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

04ccc52
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar