PR #15617 [red-knot] Rename *_ty functions

[red-knot] Rename *_ty functions #15617

sharkdp merged 1 commit into main from david/ty-renaming

sharkdp added internal

sharkdp added ty

sharkdp force pushed from cec1f579 to 7b159ab0 1 year ago

MichaReiser commented on 2025-01-20

sharkdp force pushed from fb641804 to 2bafb68b 1 year ago

sharkdp changed the base branch from main to david/ty-renaming-2 1 year ago

MichaReiser approved these changes on 2025-01-20

sharkdp force pushed from 2bafb68b to bd9d274a 1 year ago

Base automatically changed from david/ty-renaming-2 to main 1 year ago

MichaReiser commented on 2025-01-20

[red-knot] Rename bindings_ty, declarations_ty

9230407f

sharkdp force pushed from bd9d274a to 9230407f 1 year ago

sharkdp marked this pull request as ready for review 1 year ago

sharkdp requested a review from

AlexWaygood 1 year ago

sharkdp merged 792f9e35 into main 1 year ago

sharkdp deleted the david/ty-renaming branch 1 year ago

Reviewers

MichaReiser

carljm

AlexWaygood

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone