Github Actions Pull Request Definition