Skip to content

pyright: 15 errors to 0, by narrowing where the code already guarantees it - #139

Merged
soodoku merged 1 commit into
masterfrom
fix/pyright
Aug 16, 2026
Merged

pyright: 15 errors to 0, by narrowing where the code already guarantees it#139
soodoku merged 1 commit into
masterfrom
fix/pyright

Commits

Commits on Aug 16, 2026