ruff
Use git-commit as ty playground version instead of 0.0.0
#18314
Merged

Use git-commit as ty playground version instead of 0.0.0 #18314

MichaReiser merged 4 commits into main from micha/ty-playground-version
MichaReiser
MichaReiser Use git-commit as ty playground version instead of 0.0.0
d848cd2a
MichaReiser MichaReiser requested a review from carljm carljm 113 days ago
MichaReiser MichaReiser requested a review from AlexWaygood AlexWaygood 113 days ago
MichaReiser MichaReiser requested a review from sharkdp sharkdp 113 days ago
MichaReiser MichaReiser requested a review from dcreager dcreager 113 days ago
MichaReiser MichaReiser added playground
MichaReiser MichaReiser added ty
MichaReiser Add hover tooltip
6bf30608
MichaReiser
MichaReiser commented on 2025-05-26
MichaReiser Discard changes to playground/package-lock.json
1517f476
MichaReiser MichaReiser enabled auto-merge (squash) 113 days ago
sharkdp
sharkdp approved these changes on 2025-05-26
github-actions
MichaReiser Clippy
67dbad62
MichaReiser MichaReiser force pushed from 2d082cb0 to 67dbad62 112 days ago
MichaReiser MichaReiser merged 5d93d619 into main 112 days ago
MichaReiser MichaReiser deleted the micha/ty-playground-version branch 112 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone