#1763 echo all PR labels

DARMA-tasking · Jun 24, 2022 · c9769fe · c9769fe
1 parent 8e3bb21
commit c9769fe
Showing 1 changed file with 7 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,13 @@ 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) }}
+            for (const label of labels) {
+              console.log(label)
+            }