Skip to content
New issue

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

Server does not end progress when the build fails #802

Open
alcarney opened this issue Apr 29, 2024 · 0 comments
Open

Server does not end progress when the build fails #802

alcarney opened this issue Apr 29, 2024 · 0 comments
Labels
bug Something isn't working lsp Issues that relate to the language server
Milestone

Comments

@alcarney
Copy link
Member

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

@alcarney alcarney added bug Something isn't working lsp Issues that relate to the language server labels Apr 29, 2024
@alcarney alcarney added this to the 1.0 milestone Apr 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working lsp Issues that relate to the language server
Projects
Status: Todo
Development

No branches or pull requests

1 participant