Skip to content

chore: exclude build/ directory from mypy check - #2008

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

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

Commits

Commits on May 5, 2022