Update action.yml

SRI-CSL · Oct 7, 2023 · 40f2c9c · 40f2c9c
1 parent 8eae697
commit 40f2c9c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 &&