Commit graph

2 commits

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