fix(types): clear all remaining mypy errors, make mypy gating in CI - #11

Merged

magi8101 merged 3 commits into

mainfrom

fix/mypy-cleanup-issue-7

Sep 6, 2026

Commits on Sep 6, 2026

fix(types): clear all remaining mypy errors, make mypy gating in CI
magi8101
committed
beb88c6
fix(deps,types): install the actual missing type stubs, don't blanket-ignore
magi8101
committed
8fbf3c1
ci: drop --ignore-missing-imports now that mypy is actually clean
magi8101
committed
e6c3421