Skip to content

treewide: ratchet down typing, move mypy config to pyproject#85

Merged
woodruffw merged 2 commits intomainfrom
ww/improve-typing
May 11, 2022
Merged

treewide: ratchet down typing, move mypy config to pyproject#85
woodruffw merged 2 commits intomainfrom
ww/improve-typing

Commits

Commits on May 11, 2022