run publish action on labelled pull requests

cornerman · May 10, 2023 · 4bf1581 · 4bf1581
1 parent 0dba65b
commit 4bf1581
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -28,7 +28,8 @@ jobs:
 
   publish:
     needs: [build]
-    if: github.event_name != 'pull_request' && (github.ref == 'refs/heads/master' || startsWith(github.ref, 'refs/tags/v'))
+    if: (github.event_name != 'pull_request' && (github.ref == 'refs/heads/master' || startsWith(github.ref, 'refs/tags/v'))) || 
+      (github.event_name == 'pull_request' &&  contains(github.event.pull_request.labels.*.name, 'publish'))
     strategy:
       matrix:
         os: [ubuntu-20.04]