4 commits

Author	SHA1	Message	Date
Dima Gerasimov	1439ba7ef7	Fix my.config handling during mypy	2020-05-04 19:49:05 +01:00
Dima Gerasimov	ee6f253b2d	enable mypy on CI for core stuff	2020-05-04 19:05:48 +01:00
Dima Gerasimov	9e9fa9620c	update documentation on using Polar	2020-04-12 15:26:14 +01:00
Dima Gerasimov	01b52fcca2	add linting script for mypy	2020-04-12 13:15:33 +01:00