Does this plugin include functionality that will prevent the merge of the PR if the build fails? Am I correct to say, that if associated Jenkinsfile in GitHub repo fails, that the PR can be blocked from merging with the mainline branch?