Check out flint HEAD

Author: agriyakhetarpal

.github/workflows/ci-emscripten.yml

@@ -92,18 +92,20 @@ jobs:
           emmake make -j $(nproc)
           emmake make install
 
-      # might need patch
+      - name: Check out flint
+        if: steps.cache-wasm-library-dir.outputs.cache-hit != 'true'
+        uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+        with:
+          repository: flintlib/flint
+          path: flint
+
       - name: Build flint
         if: steps.cache-wasm-library-dir.outputs.cache-hit != 'true'
         env:
           CFLAGS: "-fPIC"
           WASM_LIBRARY_DIR: ${{ github.workspace }}/wasm-library-dir
+        working-directory: flint
         run: |
-          curl -L https://github.com/flintlib/flint/releases/download/v3.2.0-rc1/flint-3.2.0-rc1.tar.xz -o flint-3.2.0-rc1.tar.xz
-          tar -xf flint-3.2.0-rc1.tar.xz
-
-          cd flint-3.2.0-rc1
-
           emconfigure ./configure \
             --disable-dependency-tracking \
             --disable-shared \