Skip to content

Skip empty publishDiagnostics on didClose when client supports pull diagnostics#3721

Merged
nixel2007 merged 5 commits intodevelopfrom
copilot/check-empty-publish-diagnostics
Jan 2, 2026
Merged

Skip empty publishDiagnostics on didClose when client supports pull diagnostics#3721
nixel2007 merged 5 commits intodevelopfrom
copilot/check-empty-publish-diagnostics

Commits

Commits on Jan 1, 2026

Commits on Jan 2, 2026