search

jupyterlab / jupyter-collaboration

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

Backport 'Fix mypy' #358 #361

Closed brichet closed 2 months ago

brichet commented 2 months ago

Backport #358

github-actions[bot] commented 2 months ago

Binder :point_left: Launch a Binder on branch _brichet/jupyter_collaboration/fix_mypy2.x