diff --git a/.github/workflows/manifest.yml b/.github/workflows/manifest.yml index fdd6f75e38c..889fe073e06 100644 --- a/.github/workflows/manifest.yml +++ b/.github/workflows/manifest.yml @@ -53,3 +53,10 @@ jobs: verbosity-level: '1' labels: 'manifest' dnm-labels: 'DNM (manifest)' + + - name: Check for label + if: ${{ contains(github.event.*.labels.*.name, 'DNM (manifest)') }} + run: | + echo "Pull request is labeled as 'DNM (manifest)'." + echo "This workflow fails so that the pull request cannot be merged." + exit 1 diff --git a/.github/workflows/pr_metadata_check.yml b/.github/workflows/pr_metadata_check.yml index 3564c6352c8..199c76dde1b 100644 --- a/.github/workflows/pr_metadata_check.yml +++ b/.github/workflows/pr_metadata_check.yml @@ -20,7 +20,6 @@ jobs: steps: - name: Check for label if: ${{ contains(github.event.*.labels.*.name, 'DNM') || - contains(github.event.*.labels.*.name, 'DNM (manifest)') || contains(github.event.*.labels.*.name, 'TSC') || contains(github.event.*.labels.*.name, 'Architecture Review') || contains(github.event.*.labels.*.name, 'dev-review') }}