Continuous Integration on GitHub used for D repos

[Thomas Mader]

Hi,

do you use any Continuous Integration servers for any of the D repos? 
For instance to run the dmd testsuite? If yes which one? (CI Joe, 
Jenkins,...)

Thomas