Skip to content

Conversation

@seisman
Copy link
Member

@seisman seisman commented Nov 11, 2025

Address #2794 (comment).

@seisman seisman added this to the 0.18.0 milestone Nov 11, 2025
@seisman seisman added maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog needs review This PR has higher priority and needs review. typing Type hints and static type checking labels Nov 11, 2025
@seisman seisman added final review call This PR requires final review and approval from a second reviewer and removed needs review This PR has higher priority and needs review. labels Nov 11, 2025
@seisman seisman removed the final review call This PR requires final review and approval from a second reviewer label Nov 11, 2025
@seisman seisman merged commit 7bbf501 into main Nov 11, 2025
19 of 21 checks passed
@seisman seisman deleted the typing/sequence branch November 11, 2025 08:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog typing Type hints and static type checking

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants