-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
Investigate how to report metrics from workspaces #13375
Comments
Duplicate of Investigate Language server metrics #14017 ? |
So we need to wait now until this issue here is solved? |
I think you can start working #14017 |
We're going to have metrics from theia plugins soon. Any progress on this issue? |
No. No progress. |
closing with prefer to :
|
It is needed to figure out the approach on how to collect and observe metrics from workspace agent/editor/language servers, such as "The % of workspaces projects cloned successfully" and "The % of Language Servers requests that get a successful response"
related to #13270
The text was updated successfully, but these errors were encountered: