Skip to content

Switch typing from mypy to ty#71

Merged
tobiasraabe merged 6 commits intomainfrom
pr/typing-ty
Dec 30, 2025
Merged

Switch typing from mypy to ty#71
tobiasraabe merged 6 commits intomainfrom
pr/typing-ty

Commits

Commits on Dec 29, 2025

Commits on Dec 30, 2025