Skip to content

Conversation

@mariuswinger
Copy link
Contributor

Why is this pull request needed?

This pull request is needed because of....

What does this pull request change?

Write summary of what this pull request changes if needed.

Issues related to this change:

@mariuswinger mariuswinger force-pushed the chore/mypy-strict-mode branch from a53d3d3 to a05192e Compare February 25, 2025 16:22
@mariuswinger mariuswinger force-pushed the chore/mypy-strict-mode branch 3 times, most recently from ee0e176 to 7de460f Compare February 26, 2025 08:12
@mariuswinger mariuswinger force-pushed the chore/mypy-strict-mode branch 12 times, most recently from ef1388d to 87cd6be Compare February 26, 2025 09:55
@mariuswinger mariuswinger force-pushed the chore/mypy-strict-mode branch 6 times, most recently from 1529463 to a4d8e07 Compare February 26, 2025 16:21
@mariuswinger mariuswinger force-pushed the chore/mypy-strict-mode branch 11 times, most recently from 2c0083f to 4cde430 Compare February 27, 2025 11:02
@mariuswinger mariuswinger force-pushed the chore/mypy-strict-mode branch from 4cde430 to 3088fcd Compare February 27, 2025 11:04
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.

2 participants