CI: add GitHub testing of Pull Requests