Skip to content

Add mypy to tooling - #83

Merged
ddanier merged 5 commits into
mainfrom
dev/add-mypy
Aug 8, 2026
Merged

Add mypy to tooling#83
ddanier merged 5 commits into
mainfrom
dev/add-mypy

Conversation

@ddanier

@ddanier ddanier commented Aug 8, 2026

Copy link
Copy Markdown
Owner

Adds the following:

  • mypy is used in GitHub pipeline
  • mypy is available as just task
  • mypy is checked when on commit

Based on mypy changes in #79

@ddanier
ddanier merged commit 8e706b5 into main Aug 8, 2026
16 checks passed
@ddanier
ddanier deleted the dev/add-mypy branch August 8, 2026 20:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant