Skip to content

Fix mypy#987

Merged
mscroggs merged 2 commits intomainfrom
schnellerhase/fix-mypy
Jan 23, 2026
Merged

Fix mypy#987
mscroggs merged 2 commits intomainfrom
schnellerhase/fix-mypy

Conversation

@schnellerhase
Copy link
Contributor

No description provided.

@schnellerhase schnellerhase added CI Continuous integration type-hints Python type hinting labels Jan 20, 2026
@mscroggs mscroggs added this pull request to the merge queue Jan 23, 2026
Merged via the queue into main with commit fa7600e Jan 23, 2026
30 checks passed
@mscroggs mscroggs deleted the schnellerhase/fix-mypy branch January 23, 2026 15:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI Continuous integration type-hints Python type hinting

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants