Skip to content

Switch type checking to ty#72

Merged
tobiasraabe merged 8 commits intomainfrom
chore/use-ty
Dec 29, 2025
Merged

Switch type checking to ty#72
tobiasraabe merged 8 commits intomainfrom
chore/use-ty

Commits

Commits on Dec 29, 2025