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

Conversation

@tobiasraabe
Copy link
Member

@tobiasraabe tobiasraabe commented Dec 29, 2025

Summary

  • replace mypy with ty for type checking
  • add ty config and update pixi typing task
  • fix ty findings in collect/serialization/tests

Testing

  • pixi run typing

@tobiasraabe tobiasraabe added this pull request to the merge queue Dec 29, 2025
Merged via the queue into main with commit 2da5cf4 Dec 29, 2025
20 checks passed
@tobiasraabe tobiasraabe deleted the chore/use-ty branch December 29, 2025 17:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@tobiasraabe