Use bash shell for checking for PR

elzik · Oct 30, 2023 · 3a0a69f · 3a0a69f
1 parent 92a109a
commit 3a0a69f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/continuous-delivery.yml b/.github/workflows/continuous-delivery.yml
@@ -40,6 +40,7 @@ jobs:
       id: prcheck
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      shell: bash
       run: |
         prs=$(gh pr list \
             --repo "$GITHUB_REPOSITORY" \
@@ -48,7 +49,7 @@ jobs:
                 map(select(.baseRefName == "main" and .headRefName == "${{ github.ref_name }}"))
                 | length
             ')
-        if (prs > 0); then
+        if ((prs > 0)); then
             echo "pull_request_exists=true" >> "$GITHUB_OUTPUT"
         fi
     - name: Tag With SemVer