Adding mypy as an option to run#18

eirikurj wants to merge 4 commits intomainscritical/.github:mainfrom

feature-mypyscritical/.github:feature-mypyCopy head branch name to clipboard