Skip to content

Fix mypy error#7

Merged
finsberg merged 1 commit into
mainfrom
finsberg/fix-mypy
Feb 13, 2026
Merged

Fix mypy error#7
finsberg merged 1 commit into
mainfrom
finsberg/fix-mypy

Conversation

@finsberg
Copy link
Copy Markdown
Member

No description provided.

@finsberg finsberg merged commit 76c4701 into main Feb 13, 2026
16 checks passed
@jorgensd jorgensd deleted the finsberg/fix-mypy branch February 16, 2026 14:40
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