Only run release build when PR has certain label

Author: hasufell

.github/workflows/release.yaml

@@ -2,8 +2,6 @@ name: Build and release
 
 on:
   push:
-    branches:
-      - master
     tags:
       - 'v*'
       - 'cabal-install-*'
@@ -14,8 +12,32 @@ on:
     - cron: '0 0 * * *'
   workflow_dispatch:
 
+env:
+  BUILD_LABEL: "run release build"
+
 jobs:
+  check-pr-labels:
+    name: check PR labels
+    runs-on: ubuntu-latest
+    outputs:
+      run_release_workflow: ${{ steps.gen_output.outputs.apt_tools }}
+    steps:
+      - if: ${{ github.event_name == 'pull_request' }}
+        run: |
+          run_it=$(if gh api --jq '.labels.[].name' /repos/${{ github.repository }}/pulls/${{ github.event.number }} | grep --quiet '^${{ env.BUILD_LABEL }}$' ; then echo "yes" ; else echo "no" ; fi)
+          echo "${run_it}"
+          echo run_release_workflow="${run_it}" >> "$GITHUB_OUTPUT"
+        shell: bash
+        env:
+          GH_TOKEN: ${{ github.token }}
+
+      - if: ${{ github.event_name != 'pull_request' }}
+        run: |
+          echo run_release_workflow="yes" >> "$GITHUB_OUTPUT"
+
   release-workflow:
+    needs: ["check-pr-labels"]
+    if: ${{ needs.check-pr-labels.outputs.run_release_workflow == 'yes' }}
     uses: ./.github/workflows/reusable-release.yml
     with:
       branches: '["${{ github.ref }}"]'