Another fix.

relic-toolkit · May 9, 2024 · a7404b5 · a7404b5
1 parent 43ad9ef
commit a7404b5
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git 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
@@ -65,7 +65,6 @@ jobs:
             cmake
             gmp
             gmp-devel
-            mingw-w64-x86_64-gmp
           update: true
 
       - name: Run CMake (MingW)