1
1
Fork
You've already forked site
0

chore: use ty instead of mypy #52

Merged
robida merged 1 commit from use-ty into main 2025年12月17日 01:50:16 +01:00
No description provided.
robida force-pushed use-ty from 177b09ac93
Some checks failed
ci/woodpecker/pr/lint Pipeline failed
ci/woodpecker/pr/test Pipeline failed
to 1e5488e490
All checks were successful
ci/woodpecker/pr/lint Pipeline was successful
ci/woodpecker/pr/test Pipeline was successful
2025年12月17日 01:42:25 +01:00 Compare
Sign in to join this conversation.
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
robida/site!52
Reference in a new issue
robida/site
No description provided.
Delete branch "use-ty"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?