ruff
[red-knot] Support files outside of any workspace
#13041
Merged

[red-knot] Support files outside of any workspace #13041

dhruvmanila merged 2 commits into main from dhruv/non-workspace-files
dhruvmanila
dhruvmanila dhruvmanila added ty
Base automatically changed from dhruv/remove-notebook-sync to main 1 year ago
dhruvmanila dhruvmanila force pushed from 6068d104 to 65b66718 1 year ago
dhruvmanila dhruvmanila force pushed from 65b66718 to f5eac024 1 year ago
dhruvmanila
dhruvmanila commented on 2024-08-22
dhruvmanila
dhruvmanila commented on 2024-08-22
dhruvmanila
dhruvmanila commented on 2024-08-22
github-actions
dhruvmanila dhruvmanila force pushed from f5eac024 to bfa9e8e2 1 year ago
dhruvmanila dhruvmanila force pushed from bfa9e8e2 to 028cb68c 1 year ago
dhruvmanila dhruvmanila marked this pull request as ready for review 1 year ago
dhruvmanila dhruvmanila requested a review from carljm carljm 1 year ago
dhruvmanila dhruvmanila requested a review from MichaReiser MichaReiser 1 year ago
dhruvmanila dhruvmanila requested a review from AlexWaygood AlexWaygood 1 year ago
MichaReiser
MichaReiser approved these changes on 2024-08-22
dhruvmanila [red-knot] Support files outside of any workspace
c5260a60
dhruvmanila Add `ChangeEvent::Opened` for didOpen notifications
0a37fadb
dhruvmanila dhruvmanila force pushed from 028cb68c to 0a37fadb 1 year ago
dhruvmanila dhruvmanila enabled auto-merge (squash) 1 year ago
dhruvmanila dhruvmanila merged c73a7bb9 into main 1 year ago
dhruvmanila dhruvmanila deleted the dhruv/non-workspace-files branch 1 year ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone