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.

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

Pin ypy-websocket to 0.2 #6499

Merged
merged 3 commits into from
Aug 2, 2022
Merged

Pin ypy-websocket to 0.2 #6499

merged 3 commits into from
Aug 2, 2022

Conversation

jtpio
Copy link
Member

@jtpio jtpio commented Aug 2, 2022

Temporary pin for ypy-websocket to help fix the broken CI.

@github-actions
Copy link
Contributor

github-actions bot commented Aug 2, 2022

Binder 👈 Launch a Binder on branch jtpio/notebook/pin-ypy-websocket

@jtpio jtpio mentioned this pull request Aug 2, 2022
3 tasks
@jtpio
Copy link
Member Author

jtpio commented Aug 2, 2022

Just opened #6500 to track reverting this when we update to the next JupyterLab pre-release.

cc @brichet @davidbrochart

@jtpio jtpio added this to the 7.0 milestone Aug 2, 2022
@brichet
Copy link
Contributor

brichet commented Aug 2, 2022

Thanks @jtpio

@jtpio
Copy link
Member Author

jtpio commented Aug 2, 2022

CI is green.

Merging so can continue working on the other PRs. We can revert as part of #6500.

@jtpio jtpio merged commit a867bb4 into jupyter:main Aug 2, 2022
@jtpio jtpio deleted the pin-ypy-websocket branch August 2, 2022 13:39
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Aug 3, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants