#1763 echo all PR labels

DARMA-tasking · Jun 24, 2022 · d5988ca · d5988ca
1 parent 8e3bb21
commit d5988ca
Showing 1 changed file with 14 additions and 2 deletions.
diff --git a/.github/workflows/merge-only-when-ready.yml b/.github/workflows/merge-only-when-ready.yml
@@ -6,8 +6,20 @@ on:
 
 jobs:
   allow-merge:
-    if: contains(github.event.pull_request.labels.*.name, 'ready-to-merge')
     runs-on: ubuntu-latest
     steps:
       - name: PR is ready to merge
-        run: true
+        uses: actions/github-script@v6
+        with:
+          script: |
+            const labels = ${{ toJSON(github.event.pull_request.labels) }}
+            const isReady = false
+            for (const label of labels) {
+              if (label.name === 'ready-to-merge') {
+                isReady = true
+              }
+            }
+
+            if (isReady === false) {
+              core.setFailed()
+            }