Hi, The make check bot is broken in a way that I can't figure out right now. Maybe now is the time to move it to jenkins.ceph.com ? It should not be more difficult than launching the run-make-check.sh script. It does not need network or root access.
Cheers -- Loïc Dachary, Artisan Logiciel Libre
Description: OpenPGP digital signature