Prevent duplicate CI runs for PR branches while ensuring merged-state testing

[ChristosMatzoros]

The goal is to:

1. Run CI for PRs targeting master, testing the merged result (refs/pull/.../merge),
2. Run CI for direct pushes to master,
3. Avoid duplicate runs when commits are pushed to a PR branch.