From a7404b5d740e01d9dede8b199b5a21536eb89b9d Mon Sep 17 00:00:00 2001
From: "Diego F. Aranha" <dfaranha@gmail.com>
Date: Thu, 9 May 2024 18:39:30 +0200
Subject: [PATCH] Another fix.

---
 .github/workflows/gmp-sec.yml | 4 +---
 .github/workflows/gmp.yml     | 1 -
 2 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/.github/workflows/gmp-sec.yml b/.github/workflows/gmp-sec.yml
index 9cd6b456e..afffaaaa7 100644
--- a/.github/workflows/gmp-sec.yml
+++ b/.github/workflows/gmp-sec.yml
@@ -64,16 +64,14 @@ jobs:
             cmake
             gmp
             gmp-devel
-            mingw-w64-x86_64-gmp
           update: true
 
       - 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-sec -G "MinGW Makefiles" ..
+          cmake -DSEED= -DBENCH=0 -DARITH=gmp-sec -G "Unix Makefiles" ..
 
       - name: Run CMake (standard)
         if: ${{ !(runner.os == 'Windows') }}
diff --git a/.github/workflows/gmp.yml b/.github/workflows/gmp.yml
index 49793de71..5f28cf943 100644
--- a/.github/workflows/gmp.yml
+++ b/.github/workflows/gmp.yml
@@ -65,7 +65,6 @@ jobs:
             cmake
             gmp
             gmp-devel
-            mingw-w64-x86_64-gmp
           update: true
 
       - name: Run CMake (MingW)