Is it possible to skip the PR build on some changes (documentation, etc.) and allow the merge?
We can skip PR build by adding a blacklist label , or by adding "[skip ci]" to the PR title.
However, if our GitHub is configured to wait for the PR build status, we cannot merge this PR.
The status is never coming because the build has been skipped.
Did we miss any of the settings? Is there workaround to allow merge?
Is it possible to skip the PR build on some changes (documentation, etc.) and allow the merge?
We can skip PR build by adding a blacklist label , or by adding "[skip ci]" to the PR title. However, if our GitHub is configured to wait for the PR build status, we cannot merge this PR. The status is never coming because the build has been skipped. Did we miss any of the settings? Is there workaround to allow merge?