search

jupyterlab / jupyter-collaboration

A Jupyter Server Extension Providing Support for Y Documents
https://jupyterlab-realtime-collaboration.readthedocs.io/en/latest/
Other
140 stars 29 forks source link

Bump pycrdt-websocket v0.14.0 #320

Closed davidbrochart closed 1 week ago

github-actions[bot] commented 1 week ago

Binder :point_left: Launch a Binder on branch _davidbrochart/jupytercollaboration/pycrdt-websocket-v0.14.0