PR #12318 [red-knot] Add basic workspace support

[red-knot] Add basic workspace support #12318

MichaReiser merged 2 commits into main from workspace-support

MichaReiser changed the base branch from main to system-walk-directories 1 year ago

MichaReiser force pushed from acb57e55 to ec29832d 1 year ago

MichaReiser force pushed from ec29832d to d0b9e165 1 year ago

MichaReiser added ty

MichaReiser force pushed from d0b9e165 to a6bdb89b 1 year ago

MichaReiser changed the title ~~[red-knot] Add workspace support~~ [red-knot] Add basic workspace support 1 year ago

MichaReiser force pushed from a6bdb89b to 49cbacc2 1 year ago

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

MichaReiser requested a review from

carljm 1 year ago

MichaReiser requested a review from

AlexWaygood 1 year ago

AlexWaygood commented on 2024-07-14

carljm commented on 2024-07-15

Base automatically changed from system-walk-directories to main 1 year ago

MichaReiser force pushed from 49cbacc2 to 7bb31d14 1 year ago

carljm approved these changes on 2024-07-16

MichaReiser force pushed from 7bb31d14 to 7562aafc 1 year ago

MichaReiser force pushed from 7562aafc to 146a0548 1 year ago

[red-knot] Workspace support

f1696e56

MichaReiser force pushed from 146a0548 to f1696e56 1 year ago

Add some more documentation

253eda75

MichaReiser merged 91338ae9 into main 1 year ago

MichaReiser deleted the workspace-support branch 1 year ago

Reviewers

carljm

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone