I have a CI workflow that I want to run on PRs, but also when I’m just pushing to my repo. That way, I can notice issues sooner during development when I have not yet decided to turn it into a PR. The workflow also needs to run when a PR gets merged into master. But when I simply enter
on: [push, pull_request]
it will run twice every time I update a PR that is on a branch that’s already part of the repo.
Either a config that fits my usecase or a way to tell a workflow to run only once given a commit hash would be nice.