When PRs are branches of this repo, rather than forks, two workflow runs are triggered anytime a commit is pushed: one for the push itself and the other for the update to the PR (see #153 as an example). I've been manually cancelling the push variant for the past couple of PRs to prevent duplicated processing but this is probably something we should resolve.
In all honesty, if the goal is to keep the main-branch protected, then we needn't have a push workflow since every change will occur through PRs. That said, we don't seem to have a properly protected main branch yet :P
When PRs are branches of this repo, rather than forks, two workflow runs are triggered anytime a commit is pushed: one for the push itself and the other for the update to the PR (see #153 as an example). I've been manually cancelling the push variant for the past couple of PRs to prevent duplicated processing but this is probably something we should resolve.
In all honesty, if the goal is to keep the main-branch protected, then we needn't have a push workflow since every change will occur through PRs. That said, we don't seem to have a properly protected main branch yet :P