Gotcha: Workflows might not run for a pull request event in GitHub Actions

GitHub Actions gotcha: Workflows won’t run for pull request events if the pull request has a merge conflict.