#1763 echo all PR labels

DARMA-tasking · Jun 24, 2022 · aba2739 · aba2739
1 parent 8e3bb21
commit aba2739
Showing 1 changed file with 4 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,10 @@ 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: |
+            script: console.log(context.pull_request.labels)