PR #19523 [ty] Rename type_api => ty_extensions

[ty] Rename type_api => ty_extensions #19523

sharkdp merged 1 commit into main from david/rename-type-api-test

[ty] Rename type_api => ty_extensions

6c852958

sharkdp requested a review from

carljm 212 days ago

sharkdp requested a review from

AlexWaygood 212 days ago

sharkdp requested a review from

dcreager 212 days ago

sharkdp added internal

sharkdp added testing

sharkdp added ty

sharkdp enabled auto-merge (squash) 212 days ago

sharkdp merged 9461d307 into main 212 days ago

sharkdp deleted the david/rename-type-api-test branch 212 days ago

Reviewers

carljm

AlexWaygood

dcreager

Assignees

No one assigned

Labels

internal testing ty

Milestone

No milestone