ruff
[red-knot] Trust module-level undeclared symbols in stubs
#17577

Merged

[red-knot] Trust module-level undeclared symbols in stubs #17577

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

sharkdp added ty

sharkdp force pushed from 234bc3a8 to b68e2942 1 year ago

sharkdp force pushed from b68e2942 to bf608326 1 year ago

sharkdp changed the title ~~[red-knot] Trust undeclared symbols in stubs~~ [red-knot] Trust module-level undeclared symbols in stubs 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

AlexWaygood approved these changes on 2025-04-23

[red-knot] Trust module-level undeclared symbols in stubs

863a04af

sharkdp force pushed from bf608326 to 863a04af 1 year ago

sharkdp merged e91e2f49 into main 1 year ago

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

Reviewers

AlexWaygood

carljm

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone