PR #21940 [ty] Stabilize rename

[ty] Stabilize rename #21940

MichaReiser merged 2 commits into main from micha/stabilize-rename

[ty] Stabilizie rename

bffd352b

MichaReiser requested a review from

carljm 12 days ago

MichaReiser requested a review from

sharkdp 12 days ago

MichaReiser added server

MichaReiser added ty

MichaReiser requested a review from

dcreager 12 days ago

MichaReiser requested a review from

AlexWaygood 12 days ago

MichaReiser added server

MichaReiser added ty

Discard changes to crates/ty_server/src/server/api/traits.rs

b45438e2

AlexWaygood changed the title ~~[ty] Stabilizie rename~~ [ty] Stabilize rename 12 days ago

MichaReiser requested a review from

BurntSushi 12 days ago

BurntSushi approved these changes on 2025-12-12

MichaReiser merged 4249736d into main 12 days ago

MichaReiser deleted the micha/stabilize-rename branch 12 days ago

Reviewers

BurntSushi

carljm

sharkdp

dcreager

AlexWaygood

Assignees

No one assigned

Labels

server ty

Milestone

No milestone