fix windows release

Followup to #223. I had forgotten to set the shell.
yshavit · Feb 28, 2025 · f121418 · f121418
1 parent 4e887b1
commit f121418
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/build-release.yml b/.github/workflows/build-release.yml
@@ -35,7 +35,9 @@ jobs:
     - name: build
       run: cargo build --release
     - name: check for any changes in the git tree
+      shell: bash
       run: |
+        set -euo pipefail
         if [[ -n "$(git status --porcelain)" ]]; then
           echo '::error title=post-build check::changes detected in git tree'
           git status