Skip to content

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
Collaborator

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.

2 participants