Skip to content

Add type hints to public APIs and configure mypy#695

Closed
simonw wants to merge 2 commits intomainfrom
claude/add-type-hints-07PAy
Closed

Add type hints to public APIs and configure mypy#695
simonw wants to merge 2 commits intomainfrom
claude/add-type-hints-07PAy

Commits

Commits on Dec 15, 2025