Skip to content

Upgrade Mypy from 1.3.x to 1.8.x#1464

Merged
neiljp merged 8 commits intozulip:mainfrom neiljp:2024-01-25-mypy-upgradeFeb 8, 2024

Commits

Commits on Feb 8, 2024