Commit graph

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