An error occurred while fetching folder content.
Matthias Diener
authored
* add run-mypy.sh
* use for github CI
* add to gitlab
* mypy -> python -m mypy
Co-authored-by: 
Andreas Klöckner <inform@tiker.net>| Name | Last commit | Last update |
|---|