Skip to content

sphinxdoc: move tests and docs to module-root directory #1674

sphinxdoc: move tests and docs to module-root directory

sphinxdoc: move tests and docs to module-root directory #1674

name: "Check 'do not merge' label"
on:
pull_request_target:
types:
- opened
- synchronize
- reopened
- labeled
- unlabeled
jobs:
block-do-not-merge:
runs-on: ubuntu-latest
steps:
- name: Check for "do not merge" label
if: "contains(github.event.pull_request.labels.*.name, 'do not merge')"
run: |
echo "This PR has the 'do not merge' label and cannot be merged."
exit 1