Skip to content

Moved mypy from pre-commit to GitHub Action#775

Merged
ricardoV94 merged 5 commits intopymc-devs:mainfrom
HangenYuu:mypy_CI
May 21, 2024