The build has been failing due to timeout (https://travis-ci.com/eclipse-theia/theia/jobs/261312176) due to the downloading of the
jdt-language-server-latest which is taking a long time. Hopefully it is something that will be resolved before the release.
[original thread by Vince Fugnitto]
Tested locally as well and it takes a long time.
Also tested by downloading the
jdt-language-server-latest myself and it takes time: https://download.eclipse.org/jdtls/snapshots/jdt-language-server-latest.tar.gz
Time to get rid of java extensions?
I think it’s the next step, but we should make sure the builtins for Java work at least
Looks like the problem is not there anymore, when I build locally. I have restarted the CI for the latest main repo commit - let’s see if this passes now.
Gitpod is running it already for 4 months and we had much better experience with it.