One more.

relic-toolkit · May 9, 2024 · 2de25e5 · 2de25e5
1 parent 3892b14
commit 2de25e5
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/gmp.yml b/.github/workflows/gmp.yml
@@ -1,5 +1,9 @@
 name: Faster configuration (GMP)
 
+defaults:
+  run:
+    shell: ${{ matrix.os == 'windows-latest' && 'msys2 {0}' || 'bash' }}
+
 on:
   push:
     branches:
@@ -51,7 +55,6 @@ jobs:
       - name: Set MinGW enviroment
         if: ${{ (runner.os == 'Windows') && (matrix.config.cc == 'gcc') }}
         uses: msys2/setup-msys2@v2
-        shell: msys2
         with:
           msystem: UCRT64
           install: >-
@@ -66,15 +69,13 @@ jobs:
 
       - name: Run CMake (MingW)
         if: ${{ (runner.os == 'Windows') && (matrix.config.cc == 'gcc') }}
-        shell: bash
         run: |
           mkdir build
           cd build
           cmake -DSEED= -DBENCH=0 -DARITH=gmp -G "Unix Makefiles" ..
 
       - name: Run CMake (standard)
         if: ${{ !(runner.os == 'Windows') }}
-        shell: bash
         run: |
           mkdir build
           cd build