ruff
[red-knot] Support files outside of any workspace
#13041
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
2
Changes
View On
GitHub
[red-knot] Support files outside of any workspace
#13041
dhruvmanila
merged 2 commits into
main
from
dhruv/non-workspace-files
dhruvmanila
added
ty
Base automatically changed from
dhruv/remove-notebook-sync
to
main
1 year ago
dhruvmanila
force pushed
from
6068d104
to
65b66718
1 year ago
dhruvmanila
force pushed
from
65b66718
to
f5eac024
1 year ago
dhruvmanila
commented on 2024-08-22
dhruvmanila
commented on 2024-08-22
dhruvmanila
commented on 2024-08-22
dhruvmanila
force pushed
from
f5eac024
to
bfa9e8e2
1 year ago
dhruvmanila
force pushed
from
bfa9e8e2
to
028cb68c
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
MichaReiser
1 year ago
dhruvmanila
requested a review
from
AlexWaygood
1 year ago
MichaReiser
approved these changes on 2024-08-22
[red-knot] Support files outside of any workspace
c5260a60
Add `ChangeEvent::Opened` for didOpen notifications
0a37fadb
dhruvmanila
force pushed
from
028cb68c
to
0a37fadb
1 year ago
dhruvmanila
enabled auto-merge (squash)
1 year ago
dhruvmanila
merged
c73a7bb9
into main
1 year ago
dhruvmanila
deleted the dhruv/non-workspace-files branch
1 year ago
Login to write a write a comment.
Login via GitHub
Reviewers
MichaReiser
BurntSushi
carljm
AlexWaygood
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Login to write a write a comment.
Login via GitHub