Skip to content

Run mypy outside of pre-commit in its own job#6186

Merged
michaelosthege merged 1 commit intomainfrom issue-5907Oct 5, 2022
+50-18

Commits

Commits on Oct 5, 2022