Skip to content

run-mypy: Remove options that duplicate the mypy configuration#41

Merged
andersk merged 1 commit intozulip:mainfrom andersk:run-mypyOct 27, 2023

Commits

Commits on Oct 27, 2023