switched to mypy for type checking
Failed
Frederik Hennig
created pipeline for commit
d96021b8
, finished
For master
14 seconds, queued for 1 seconds