In a GitHub repository, I have two separate workflows for GitHub Actions:
github/workflows/pr.yml to just build and test
name: Pull request workflow
on: pull_request
and github/workflows/push.yml to build and test and deploy
name: Push workflow
on: push
Creating a pull request triggers both of these workflows.
Is it not possible to separate these or what am I missing here?
