Skip to content

Add output channel#288

Merged
davelopez merged 8 commits into
mainfrom
add_output_channel
Dec 30, 2025
Merged

Add output channel#288
davelopez merged 8 commits into
mainfrom
add_output_channel

Conversation

@davelopez

Copy link
Copy Markdown
Collaborator

This pull request introduces a logging system across the extension, improving observability and error tracking. A new logger utility is implemented and integrated into various modules, replacing ad-hoc or missing logging with structured, timestamped log messages. Additionally, the language server connection logic is made more robust with retry support, and process execution is now better monitored with detailed logs.

These changes collectively make the extension easier to debug and maintain by providing consistent, visible, and actionable logging throughout the codebase.

@davelopez davelopez added enhancement New feature or request language server Related to the language server labels Dec 30, 2025
@davelopez davelopez added this to the v0.14.2 milestone Dec 30, 2025
@davelopez davelopez merged commit 42e8daf into main Dec 30, 2025
5 checks passed
@davelopez davelopez deleted the add_output_channel branch December 30, 2025 19:14
@davelopez davelopez modified the milestones: v0.14.2, v0.15.0 Feb 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request language server Related to the language server

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant