From fe319114874f0bb6bf3af80ce95e9d7ba2c84ce4 Mon Sep 17 00:00:00 2001
From: "Diego F. Aranha" <dfaranha@gmail.com>
Date: Thu, 9 May 2024 15:49:50 +0200
Subject: [PATCH] Fix.

---
 .github/workflows/gmp.yml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/gmp.yml b/.github/workflows/gmp.yml
index 98333fd35..ddb4a4411 100644
--- 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