Fix.

relic-toolkit · May 9, 2024 · fe31911 · fe31911
1 parent 2de25e5
commit fe31911
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/.github/workflows/gmp.yml b/.github/workflows/gmp.yml
@@ -1,9 +1,5 @@
 name: Faster configuration (GMP)
 
-defaults:
-  run:
-    shell: ${{ matrix.os == 'windows-latest' && 'msys2 {0}' || 'bash' }}
-
 on:
   push:
     branches:
@@ -41,6 +37,11 @@ jobs:
             os: macos-latest,
             cc: "clang",
           }
+
+    defaults:
+      run:
+        shell: ${{ matrix.os == 'windows-latest' && 'msys2 {0}' || 'bash' }}
+
     steps:
       - uses: actions/checkout@v4