diff --git a/.github/actions/build/action.yml b/.github/actions/build/action.yml
index e84f1b617..af0bb3784 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 --login
+      shell: C:\cygwin\bin\bash.exe '{0}'
       run: >-
         pwd = $(pwd) && wget https://ftp.gnu.org/gnu/gmp/gmp-6.2.1.tar.xz &&
         tar xf gmp-6.2.1.tar.xz &&