Back to LanguageTool Homepage - Privacy - Imprint

Jenkins still needed?

Does anybody rely on our Jenkins builds at 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.