Merge branch 'erodrigu-add-mypy' into 'master'
Introduce a pre-commit hook and MyPy, implement type hints in a few files See merge request !917
No related branches found
No related tags found
Introduce a pre-commit hook and MyPy, implement type hints in a few files See merge request !917