-
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
Remove theia IDE #7395
Remove theia IDE #7395
Conversation
Codecov Report
@@ Coverage Diff @@
## main #7395 +/- ##
==========================================
- Coverage 22.33% 5.76% -16.58%
==========================================
Files 22 13 -9
Lines 2431 1162 -1269
==========================================
- Hits 543 67 -476
+ Misses 1850 1094 -756
+ Partials 38 1 -37
Flags with carried forward coverage won't be shown. Click here to find out more. Continue to review full report at Codecov.
|
/assign @akosyakov |
/lgtm |
LGTM label has been added. Git tree hash: ac89023e187b6d557bbf37ecad70fe72b2dab66f
|
[APPROVALNOTIFIER] This PR is APPROVED This pull-request has been approved by: iQQBot Associated issue requirement bypassed by: iQQBot The full list of commands accepted by this bot can be found here. The pull request process is described here
Needs approval from an approver in each of these files:
Approvers can indicate their approval by writing |
/werft run 👍 started the job as gitpod-build-aledbf-theia.1 |
/unhold |
I still see a lot of theia stuff in the repo |
This PR just removes build-related stuff to avoid wasting resources |
It would be good to clean up old code for sure, but not everything is trviai to remove. If we can have split it and remove bit by bit when someone have spare time it would be good. Otherwise focusing on user valuable issues is better. |
Release Notes