#1763 echo all PR labels

DARMA-tasking · Jun 24, 2022 · e54e251 · e54e251
1 parent 8e3bb21
commit e54e251
Showing 1 changed file with 6 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,12 @@ 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
+        run: |
+          labels=${{ github.event.pull_request.labels }}
+          for l in ${labels[*]}
+          do
+            echo ${l}
+          done