specify mpfr version

sdcb · Feb 6, 2025 · 2cf5f50 · 2cf5f50
1 parent a1e3cba
commit 2cf5f50
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build-all-gmp.yml b/.github/workflows/build-all-gmp.yml
@@ -52,4 +52,5 @@ jobs:
       os: ${{ matrix.os }}
       arch: ${{ matrix.arch }}
       gmp-version: ${{ github.event.inputs.gmp-version || '6.3.0' }}
+      mpfr-version: ${{ github.event.inputs.mpfr-version || '4.2.1' }}
       build-type: ${{ github.event.inputs.build-type || 'shared' }}