Skip to content

Add a command to restart the language server #4218

Add a command to restart the language server

Add a command to restart the language server #4218

Triggered via issue September 21, 2023 18:23
Status Success
Total duration 25s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

issue-labels.yml

on: issues
Add 'triage-needed' and remove assignees
13s
Add 'triage-needed' and remove assignees
Fit to window
Zoom out
Zoom in