Merge branch 'main' into pornin

relic-toolkit · Apr 20, 2024 · e9b15bb · e9b15bb
2 parents 1878a52 + cfe0e15
commit e9b15bb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/gmp.yml b/.github/workflows/gmp.yml
@@ -56,12 +56,12 @@ jobs:
         with:
           msystem: MINGW64
           install: >-
+            gmp
+            gmp-devel
             git
             base-devel
             gcc
             cmake
-            gmp
-            gmp-devel
           update: true
 
       - name: Run CMake (MingW)