Jenkins still needed?

Does anybody rely on our Jenkins builds at https://languagetool.ci.cloudbees.com? There are out-of-memory issues which I didn’t manage to fix yet and I don’t want to spend more time on this unless really necessary.

We still have CI thanks to Travis, which builds automatically on each commit (Jenkins builds one per day only).

I think Travis CI will be enough.

I’ve turned Jenkins off for now.