ruff
[ty] Make auto-import work in the playground
#20484

Merged

[ty] Make auto-import work in the playground #20484

BurntSushi merged 1 commit into main from ag/playground-new-completion-data

BurntSushi requested a review from

carljm 8 days ago

BurntSushi requested a review from

MichaReiser 8 days ago

BurntSushi requested a review from

sharkdp 8 days ago

BurntSushi requested a review from

dcreager 8 days ago

BurntSushi removed review request from

dcreager 8 days ago

BurntSushi removed review request from

carljm 8 days ago

BurntSushi removed review request from

sharkdp 8 days ago

BurntSushi added playground

BurntSushi added server

BurntSushi added ty

BurntSushi force pushed from 91a21a67 to 4cc1702e 8 days ago

MichaReiser approved these changes on 2025-09-19

BurntSushi force pushed from 4cc1702e to 213a963f 8 days ago

BurntSushi force pushed from 213a963f to 7c60beb7 8 days ago

BurntSushi force pushed from 7c60beb7 to 24d574ff 8 days ago

[ty] Make auto-import work in the playground

39eb1b32

BurntSushi force pushed from 24d574ff to 39eb1b32 8 days ago

BurntSushi merged 3bf4dae4 into main 8 days ago

BurntSushi deleted the ag/playground-new-completion-data branch 8 days ago

Reviewers

MichaReiser

Assignees

No one assigned

Labels

playground server ty

Milestone

No milestone