PR #12492 [red-knot] Add support for untitled files

[red-knot] Add support for untitled files #12492

dhruvmanila merged 2 commits into main from dhruv/untitled-files

dhruvmanila added ty

dhruvmanila force pushed from b48fab6c to 9c9af105 1 year ago

dhruvmanila force pushed from 9c9af105 to dee93ef1 1 year ago

MichaReiser commented on 2024-07-25

dhruvmanila force pushed from dee93ef1 to bfe78200 1 year ago

dhruvmanila force pushed from bfe78200 to 3c4e67f0 1 year ago

dhruvmanila force pushed from 3c4e67f0 to 27d6ed79 1 year ago

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

dhruvmanila requested a review from

carljm 1 year ago

dhruvmanila requested a review from

AlexWaygood 1 year ago

dhruvmanila requested a review from

MichaReiser 1 year ago

MichaReiser approved these changes on 2024-07-25

[red-knot] Add support for untitled files

f11a56b0

AlexWaygood force pushed from 27d6ed79 to f11a56b0 1 year ago

[red-knot] Add tests for untitled files (#12526)

43b70c92

dhruvmanila merged 6f4db867 into main 1 year ago

dhruvmanila deleted the dhruv/untitled-files branch 1 year ago

Reviewers

MichaReiser

carljm

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone