DNM: run make check on pull requests

Signed-off-by: Loic Dachary <loic@dachary.org>
If we add the labels would that work for you? Or do you still need to pin to one machine only regardless?