Skip to content

Feature#38 - Fix mypy errors#39

Merged
emapuljak merged 1 commit into
masterfrom
feature#38-fix-mypy
Jun 15, 2026
Merged

Feature#38 - Fix mypy errors#39
emapuljak merged 1 commit into
masterfrom
feature#38-fix-mypy

Conversation

@emapuljak

Copy link
Copy Markdown
Collaborator

Fix mypy errors from PR #37

@emapuljak emapuljak self-assigned this Jun 15, 2026
@emapuljak emapuljak merged commit 303d681 into master Jun 15, 2026
15 checks passed
@emapuljak emapuljak deleted the feature#38-fix-mypy branch June 15, 2026 13:59
@emapuljak emapuljak linked an issue Jun 15, 2026 that may be closed by this pull request
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.

Fix mypy issues

1 participant