Skip to content

fix(mypy)#12438

Merged
jhheider merged 1 commit intomainfrom
fix(mypy)
Mar 31, 2026
Merged

fix(mypy)#12438
jhheider merged 1 commit intomainfrom
fix(mypy)

Conversation

@jhheider
Copy link
Copy Markdown
Contributor

closes #12436
closes #12437

closes #12436
closes #12437
@jhheider jhheider merged commit 935cde6 into main Mar 31, 2026
8 checks passed
@jhheider jhheider deleted the fix(mypy) branch March 31, 2026 18:34
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.

❌ build issues: mypy-lang.org=1.20.0 ❌ build issues: mypy-lang.org=1.20.0

1 participant