Code

Use pycrdt's typed containers#302

Code

Open

davidbrochart wants to merge 3 commits intojupyter-server:mainjupyter-server/jupyter_ydoc:mainfrom davidbrochart:typingdavidbrochart/jupyter_ydoc:typingCopy head branch name to clipboard

+184-90

Commits

Commits on Jan 8, 2025

• Use pycrdt's typed containers

  davidbrochart

  committed
  d94c263

  Copy full SHA for d94c263

Commits on Jan 24, 2025

• Merge branch 'main' into typing

  davidbrochart

  committed
  4a860a1

  Copy full SHA for 4a860a1

• Cleanup

  davidbrochart

  committed
  3f4dcbb

  Copy full SHA for 3f4dcbb