PR #12452 [red-knot] Lazy package file discovery

[red-knot] Lazy package file discovery #12452

MichaReiser merged 4 commits into main from lazy-files

MichaReiser requested a review from

carljm 1 year ago

MichaReiser requested a review from

AlexWaygood 1 year ago

MichaReiser changed the base branch from main to watch 1 year ago

MichaReiser added ty

carljm approved these changes on 2024-07-22

Base automatically changed from watch to main 1 year ago

MichaReiser force pushed from 016f7136 to 8820da96 1 year ago

[red-knot] Lazy package file discovery

1dce8811

MichaReiser force pushed from 8820da96 to 1dce8811 1 year ago

Update crates/red_knot/src/workspace/files.rs

c447d2ae

Update crates/red_knot/src/workspace/files.rs

e36aaf3d

Improve naming and documentation

f530e330

MichaReiser enabled auto-merge (squash) 1 year ago

MichaReiser merged f0fc6a95 into main 1 year ago

MichaReiser deleted the lazy-files branch 1 year ago

Reviewers

carljm

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone