Hi, As of today the make check bot that executes the run-make-check.sh command on pull requests (see https://github.com/ceph/ceph/pull/4284#issuecomment-90481256 for instance) will do it on ubuntu-14.04 in addition to centos-7.
The bot formerly ran from https://about.gitlab.com/gitlab-ci/ and now runs from a dedicated http://jenkins-ci.org/ instance. The idea is for the bot to run make check on centos-7 first. If it passes it will then do the same, in parallel, on all supported distributions. And once they all complete, a report is added to the pull requests with URLs to view the output of each run. If someone is interested in details, I'd be happy to discuss more ;-) Cheers -- Loïc Dachary, Artisan Logiciel Libre
signature.asc
Description: OpenPGP digital signature
