If "Auto-cancel redundant workflows" is enabled, it should also apply to PRs/branches that get merged into master. There's no use finishing a build for a PR that just got merged into master, because it's going to get built there too.