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