Plug-in Question - Githubissues

jenkinsci / ghprb-plugin

github pull requests builder plugin for Jenkins

https://plugins.jenkins.io/ghprb/

MIT License

498 stars 606 forks source link

Open wg21908 opened 1 year ago

wg21908 commented 1 year ago

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?