DNM: run make check on pull requests

Signed-off-by: Loic Dachary <loic@dachary.org>
I would actually try not to define this at all and let Jenkins decide to which slave it goes :)