Skip to content
Potential Duplicate Issues

Use separate output channels for language server and extension #1402

Sign in to view logs

Use separate output channels for language server and extension

Use separate output channels for language server and extension #1402

Triggered via issue September 22, 2025 14:50
@tsmaedertsmaeder
opened #4169 1bb0a99
Status Success
Total duration 9s
Artifacts –

duplicate-issues-detector.yaml

on: issues
run
5s
run
Fit to window
Zoom out
Zoom in