DNM: run make check on pull requests

Signed-off-by: Loic Dachary <loic@dachary.org>
I guess I miss part of the jenkins debug workflow. Say the job is defined, fails and shows an error in the jenkins console that makes no sense to me. Then I would want to ssh to the machine, explore things and then *dang*. Modify the script, run it again and loop over until it completes. Is reality very different ? If a pool of machines is used, would debugging need a different workflow ?