mypy_primer: add to CI - #9686

Merged

JukkaL merged 3 commits into

python:masterfrom

hauntsaninja:1101mypyprimer

Nov 4, 2020

Commits on Nov 2, 2020

mypy_primer: add to CI
hauntsaninja
committed
22e4968

Commits on Nov 3, 2020

use mypyc, fix repo
hauntsaninja
committed
9129315
add ignore paths
hauntsaninja
committed
0fb36e7