Closed jszopi closed 5 years ago
mypy
now runs in CI. It's pass/fail, but I managed to get the codebase to a strict mypy
level with a reeasonable number of type-ignore comments. I'll consider a coverage-like report for Any
exprs, see https://github.com/jszopi/repESP/issues/44
Replaces the last part of
dev/checks.sh
. In the script I've opted for snapshotting, ISTR there were some issues that were difficult totype: ignore
or issues that I intended to solve, treating the snapshot as a backlog of type errors to be fixed.