Skip to content

New version of mypy action#1

Merged
mnschmit merged 1 commit intomainfrom
multiple-targets-for-mypy
Sep 25, 2023
Merged

New version of mypy action#1
mnschmit merged 1 commit intomainfrom
multiple-targets-for-mypy

Commits

Commits on Sep 25, 2023