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).