Skip to content

Run mypy during pre-commit#13

Merged
jepler merged 2 commits intomainfrom
pre-commit-mypy
May 24, 2022
Merged

Run mypy during pre-commit#13
jepler merged 2 commits intomainfrom
pre-commit-mypy

Commits

Commits on May 13, 2022