[CI] Split up main.yml, add mypy. (#6515)

This commit is contained in:
Jiaming Yuan
2020-12-17 00:15:44 +08:00
committed by GitHub
parent c5876277a8
commit d8d684538c
3 changed files with 159 additions and 133 deletions

View File

@@ -1,2 +1,6 @@
[metadata]
description-file = README.rst
[mypy]
ignore_missing_imports = True
disallow_untyped_defs = True