Skip to content
Back to pull request #14438

Replace language server WebSocket connection with Ydoc #11624

Sign in to view logs

Replace language server WebSocket connection with Ydoc

Replace language server WebSocket connection with Ydoc #11624

Annotations

2 warnings

🏷 Append labels to PR  /  Base-change-labels

🏷 Append labels to PR / Base-change-labels
succeeded Jan 26, 2026 in 8s