ruff
[red-knot] Rename `TestDbBuilder::typeshed` to `.custom_typeshed`
#15712
Merged

[red-knot] Rename `TestDbBuilder::typeshed` to `.custom_typeshed` #15712

sharkdp merged 1 commit into main from david/minor-rename
sharkdp
sharkdp [red-knot] Rename TestDbBuilder::typeshed => .custom_typeshed
511d8072
sharkdp sharkdp added internal
sharkdp sharkdp added ty
sharkdp sharkdp requested a review from carljm carljm 254 days ago
sharkdp sharkdp requested a review from MichaReiser MichaReiser 254 days ago
sharkdp sharkdp requested a review from AlexWaygood AlexWaygood 254 days ago
sharkdp sharkdp enabled auto-merge (squash) 254 days ago
sharkdp sharkdp merged fb58a9b6 into main 254 days ago
sharkdp sharkdp deleted the david/minor-rename branch 254 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone