Skip to content

chore(deps): bump mypy to 1.20#1532

Merged
mkniewallner merged 3 commits intomainfrom
chore/bump-mypy-1.20
Apr 2, 2026
Merged

chore(deps): bump mypy to 1.20#1532
mkniewallner merged 3 commits intomainfrom
chore/bump-mypy-1.20

Conversation

@mkniewallner
Copy link
Copy Markdown
Member

@mkniewallner mkniewallner marked this pull request as ready for review April 2, 2026 19:51
@mkniewallner mkniewallner merged commit c38790b into main Apr 2, 2026
20 checks passed
@mkniewallner mkniewallner deleted the chore/bump-mypy-1.20 branch April 2, 2026 19:52
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