New CI Server

Posted by Werner Keil on Jun 02, 2015 | Comments

As free CloudBees hosted Jenkins servers gave a wrong impression of broken builds by shutting down the build job without commits for some time, we recently switched all relevant build jobs to CircleCI which so far refrains from this annoying behavior.