Hi, Although the make check bot worked on today's pull requests ( http://jenkins.ceph.dachary.org/job/ceph/ ), it did not report results back to the corresponding pull request. You can find the results by looking at individual builds (for instance http://jenkins.ceph.dachary.org/job/ceph/1828/ shows it is about origin/pull/4472 which matches pull request https://github.com/ceph/ceph/pull/4472). If you don't feel like digging in the jenkins log, rebasing and force-pushing the pull request will trigger the bot.
Cheers -- Loïc Dachary, Artisan Logiciel Libre
signature.asc
Description: OpenPGP digital signature
