As promised, I have taken a first cut at listing the requirements and the pros and cons of the main contenders on a Trac page: https://ghc.haskell.org/trac/ghc/wiki/ContinuousIntegration Maybe I am biased, but is there any advantage to Jenkins other than that we can run builds and tests on exotic platforms? Manuel