fixup! build: allow building of arm images when a specific label is a…

…dded
GenSpectrum · Jan 15, 2025 · 1907cc9 · 1907cc9
1 parent fc207f6
commit 1907cc9
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -75,8 +75,13 @@ jobs:
             echo "PLATFORM_BUILD=true" >> $GITHUB_ENV
           fi
 
+          # Write the current labels to a file
+          cat <<EOF > event.json
+          ${{ toJSON(github.event.pull_request.labels) }}
+          EOF
+
           # Check if the PR has the label 'arm-image'
-          if [[ "${{ github.event.pull_request.labels.*.name }}" == *'arm-image'* ]]; then
+          if jq -e '[]?.name | select(. == "arm-image")' event.json > /dev/null; then
             echo "PLATFORM_BUILD=true" >> $GITHUB_ENV
           fi