[incubation] CI environments for GitHub PR build?

[Jeen Broekstra <jeen.broekstra@xxxxxxxxx>]

What kind of Continuous Integration environments do Eclipse projects use?

I assume many projects use the preferred tool from the CBI, that is Hudson (HIPP 
or shared instance), but I think I have seen several projects mention other 
environments as well (e.g Jenkins or Travis).

I'm looking for a way to provide build/test support for Pull Requests on GitHub: 
I'd like to be able to have our build service verify that a PR doesn't break the 
build, _before_ we merge it.

I know Travis has support for this out of the box (and integrates very nicely 
with GitHub), and Jenkins has a plugin for it, but I can't find anything for 
Hudson in this space (nor any mention of whether the Jenkins plugin is 
Hudson-compatible).

Any experiences from other projects would be most welcome. Have you found a way 
to do this in a HIPP? Are you using Jenkins or Travis instead? Pros/cons of each 
tool?

Cheers,

Jeen