3 commits

Author	SHA1	Message	Date
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