DNM: run make check on pull requests

Signed-off-by: Loic Dachary <loic@dachary.org>
Which host do you suggest we target instead ?