ruff
Use ty's completions in playground
#18425
Merged

Use ty's completions in playground #18425

MichaReiser merged 1 commit into main from micha/playground-completions
MichaReiser
MichaReiser Use ty's completions in playground
74bfb35f
MichaReiser MichaReiser requested a review from carljm carljm 1 year ago
MichaReiser MichaReiser requested a review from AlexWaygood AlexWaygood 1 year ago
MichaReiser MichaReiser requested a review from sharkdp sharkdp 1 year ago
MichaReiser MichaReiser requested a review from dcreager dcreager 1 year ago
MichaReiser MichaReiser added playground
MichaReiser MichaReiser added ty
github-actions
MichaReiser MichaReiser removed review request from dcreager dcreager 1 year ago
MichaReiser MichaReiser removed review request from carljm carljm 1 year ago
MichaReiser MichaReiser removed review request from sharkdp sharkdp 1 year ago
MichaReiser MichaReiser removed review request from AlexWaygood AlexWaygood 1 year ago
sharkdp
MichaReiser MichaReiser merged 67d94d9e into main 1 year ago
MichaReiser MichaReiser deleted the micha/playground-completions branch 1 year ago
AlexWaygood
sharkdp

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone