Skip to content

chore: exclude build/ directory from mypy check#2008

Merged
nejch merged 1 commit intomainfrom
jlvillal/mypy-tox
May 5, 2022
Merged

chore: exclude `build/` directory from mypy check#2008
nejch merged 1 commit intomainfrom
jlvillal/mypy-tox

Commits

Commits on May 5, 2022