PR #17588 [red-knot] Trust all symbols in stub files

[red-knot] Trust all symbols in stub files #17588

sharkdp merged 1 commit into main from david/trust-undeclared-symbols-in-stubs-pt2

sharkdp added ty

sharkdp changed the title ~~[red-knot] Trust *all* symbols in stub files~~ [red-knot] Trust all symbols in stub files 1 year ago

[red-knot] Trust all symbols in stub files

c00dad71

sharkdp force pushed from 6f727fff to c00dad71 1 year ago

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

sharkdp requested a review from

carljm 1 year ago

sharkdp requested a review from

AlexWaygood 1 year ago

sharkdp requested a review from

dcreager 1 year ago

carljm approved these changes on 2025-04-23

AlexWaygood approved these changes on 2025-04-23

sharkdp merged e170fe49 into main 1 year ago

sharkdp deleted the david/trust-undeclared-symbols-in-stubs-pt2 branch 1 year ago

Reviewers

AlexWaygood

carljm

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone