ci: do not merge workflow

4m-mazi · Feb 18, 2024 · 5839e76 · 5839e76
1 parent 0253f07
commit 5839e76
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.github/workflows/do-not-merge.yml → .github/workflows/pr-label-check.yml b/.github/workflows/do-not-merge.yml → .github/workflows/pr-label-check.yml
@@ -1,18 +1,20 @@
-name: DO NOT MERGE
+name: PR label check
 on:
   pull_request:
     types:
       - opened
       - labeled
       - unlabeled
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 permissions:
   pull-requests: read
 
 jobs:
   do-not-merge:
-    name: '!!!'
-    if: github.event.label.name == 'do NOT merge!!!'
     runs-on: ubuntu-22.04
     steps:
       - run: |