Run GitHub actions also on pull_request