[rdf4j-dev] new Jenkins instance

[Jeen Broekstra <jeen.broekstra@xxxxxxxxx>]

Our Jenkins server has been migrated to the new cluster infrastructure, which means more resources and also, I think, a slightly newer version of Jenkins.

We currently only use Jenkins to run our Sonatype deployments, but from running a test deployment I'm getting the impression that some of the timeout issues we had with that deployment may be fixed (granted, my sample size is N=1, but...), so that's a big plus.

I'm also going to look at using Jenkins to handle deployment of the SDK and onejar to the Eclipse FTP server. That would simplify our release process a lot and make it less brittle - the release script can concentrate on just the tagging and branching, Jenkins takes care of the rest (also removes the need for every committer to have their ftp account details ready all the time :)).

Cheers,

Jeen