Skip to content

mypy#2

Merged
Kartstig merged 4 commits intomasterfrom
mypy
Apr 13, 2026
Merged

mypy#2
Kartstig merged 4 commits intomasterfrom
mypy

Conversation

@Kartstig
Copy link
Copy Markdown
Owner

  • Add type hinting
  • Add new CI checks

@Kartstig Kartstig merged commit 5e5881a into master Apr 13, 2026
7 checks passed
@Kartstig Kartstig deleted the mypy branch April 13, 2026 03:10
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