Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update to @jupyter/ydoc v2.0.1 #15982

Merged
merged 1 commit into from
Mar 14, 2024
Merged

Update to @jupyter/ydoc v2.0.1 #15982

merged 1 commit into from
Mar 14, 2024

Conversation

jtpio
Copy link
Member

@jtpio jtpio commented Mar 13, 2024

References

Fixes #15951

Code changes

  • Bump to @jupyter/ydoc@2.0.1

User-facing changes

Should be none.

Backwards-incompatible changes

None according to #15951 (comment)

@jupyterlab-probot jupyterlab-probot
Copy link

Thanks for making a pull request to jupyterlab!
To try out this branch on binder, follow this link: Binder

@jtpio jtpio mentioned this pull request Mar 13, 2024
Closed
@jtpio jtpio added this to the 4.2.0 milestone Mar 13, 2024
@jtpio jtpio marked this pull request as ready for review March 13, 2024 09:47
@jtpio
Copy link
Member Author

jtpio commented Mar 13, 2024

Examples failure appears to be unrelated: #15985

UI tests failure too: #14947

@jtpio
Copy link
Member Author

jtpio commented Mar 13, 2024

cc @davidbrochart it's looking good according to CI

krassowski
krassowski approved these changes Mar 13, 2024
View reviewed changes
Copy link
Member

@krassowski krassowski left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@jtpio jtpio merged commit 783880f into jupyterlab:main Mar 14, 2024
79 of 82 checks passed
@jtpio jtpio deleted the bump-jupyter-ydoc branch March 14, 2024 07:27
@davidbrochart davidbrochart mentioned this pull request Mar 18, 2024
Open
@davidbrochart
Copy link
Contributor

I just saw that jupyter-collaboration still pins @jupyter/ydoc ^1.1.0-a0, so this PR won't play well if we don't do the same in jupyter-collaboration, right?
I opened #15982.

@trungleduc trungleduc mentioned this pull request Mar 19, 2024
Merged
@jtpio jtpio mentioned this pull request Mar 19, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@krassowski krassowski krassowski approved these changes

Assignees

@jtpio jtpio

Labels
maintenance pkg:cell-toolbar pkg:cells pkg:codeeditor pkg:codemirror pkg:completer pkg:console pkg:debugger pkg:docregistry pkg:fileeditor pkg:notebook pkg:services tag:Examples
Projects
None yet
Milestone
4.2.0
Development

Successfully merging this pull request may close these issues.

Update @jupyter/ydoc v2.0.1
3 participants
@jtpio @davidbrochart @krassowski
  翻译：