diff --git a/.github/actions/build/action.yml b/.github/actions/build/action.yml
index a4dacc352..f09994082 100644
--- a/.github/actions/build/action.yml
+++ b/.github/actions/build/action.yml
@@ -50,7 +50,7 @@ runs:
         make MODE=${{ inputs.mode }}
     - name: Build and test Yices
       if: runner.os == 'Windows'
-      shell: C:\cygwin\bin\bash.exe '{0}'
+      shell: bash
       env:
         CYGWIN: winsymlinks:native
       run: >-