Commit graph

4 commits

Author SHA1 Message Date
InsanePrawn
a8e8ddc4b4 typecheck: add --check-untyped-defs and fix some associated type errors 2022-11-09 20:19:04 +01:00
InsanePrawn
59028afebf typecheck.sh: show error codes 2022-11-02 00:38:18 +01:00
InsanePrawn
882e95b823 typecheck.sh: deduplicate files 2022-07-15 06:14:33 +02:00
InsanePrawn
5f47602aa1 gitlab-ci: add mypy type-checking 2022-02-18 06:50:47 +01:00