We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
After a build had failed VSCode was still showing the window/workDoneProgress spinner, even though no build was in progress.
window/workDoneProgress
The server should ensure the progress is marked as complete, even when there's an error
No response
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Expected behavior
After a build had failed VSCode was still showing the
window/workDoneProgress
spinner, even though no build was in progress.Actual behavior
The server should ensure the progress is marked as complete, even when there's an error
Log output
No response
(Optional) Settings from conf.py
No response
The text was updated successfully, but these errors were encountered: