Skip to content

Tune mypy strictness settings#675

Merged
Swatinem merged 1 commit intomainfrom swatinem/mypySep 9, 2024

Commits

Commits on Sep 9, 2024