PR #17204 [red-knot] Support stub packages

[red-knot] Support stub packages #17204

MichaReiser merged 4 commits into main from micha/stub-packages

MichaReiser added ty

MichaReiser force pushed from 8f256e4a to e9f090ba 175 days ago

MichaReiser force pushed from e9f090ba to 1a196206 175 days ago

MichaReiser force pushed from 1a196206 to 76bf9f8d 175 days ago

MichaReiser force pushed from 76bf9f8d to 3e40e954 175 days ago

MichaReiser commented on 2025-04-04

MichaReiser marked this pull request as ready for review 175 days ago

MichaReiser requested a review from

carljm 175 days ago

MichaReiser requested a review from

AlexWaygood 175 days ago

MichaReiser requested a review from

sharkdp 175 days ago

MichaReiser requested a review from

dcreager 175 days ago

MichaReiser commented on 2025-04-04

carljm approved these changes on 2025-04-04

AlexWaygood commented on 2025-04-04

[red-knot] Support stub packages

90302e59

Improve logging

f945b61c

Address 'easy' review comments

9f62e3c9

MichaReiser force pushed from df4817d4 to 9f62e3c9 172 days ago

Handle `foo-stubs.pyi` modules

62eac065

MichaReiser merged 6cc2d02d into main 172 days ago

MichaReiser deleted the micha/stub-packages branch 172 days ago

Reviewers

carljm

AlexWaygood

sharkdp

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone