Skip to content

chore: use ty#41

Merged
mikeroll merged 1 commit intomasterfrom
ty
Feb 28, 2026
Merged

chore: use ty#41
mikeroll merged 1 commit intomasterfrom
ty

Conversation

@mikeroll
Copy link
Collaborator

ty is a nice experience and is good enough already for a small project like this.

Bump uv while we're at it.

@mikeroll mikeroll merged commit ef0ee9e into master Feb 28, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant