Update action.yml

SRI-CSL · Oct 7, 2023 · c626126 · c626126
1 parent 2cbb11c
commit c626126
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 '{0}'
+      shell: bash
       env:
         CYGWIN: winsymlinks:native
       run: >-