docs only changes PRs can't be merged because of set_status
job requirement
#571
Labels
infrastructure
Problems with the CI infrastructure or CI jobs
When a PR touches only the
docs
folder the resulting PRs can't get a green status. Theset_status
job is required, but will never be runThe status for maintainer will look like this, never enabling the merge button
The text was updated successfully, but these errors were encountered: