DNM: run make check on pull requests

Signed-off-by: Loic Dachary <loic@dachary.org>
this is probably not a good idea, because this means you are pinning this job to this host.