Closed davidbrochart closed 1 month ago
Looks like failures are related to JupyterLab 4.2.0. cc @krassowski @fcollonval
I think two things need to be done:
Thanks @krassowski, I opened #306.
I rebased this PR on #306.
Finally got it working :smile: Do you want to review @krassowski ?
After https://github.com/jupyter-server/pycrdt-websocket/pull/42,
main
is broken, see here.