Commit graph

4 commits

Author SHA1 Message Date
v 7d67b59f5a run linting/typechecking only once 2021-11-18 02:09:18 +01:00
v 877b79c681 disallow untyped defs 2021-11-18 01:59:09 +01:00
v 4a10c7a9ba typecheck with mypy 2021-11-17 23:46:38 +01:00
v a47c52d8ad basic python package 2021-11-16 01:00:38 +01:00