Cache WASM libs for CI speedups

Author: agriyakhetarpal

.github/workflows/ci-emscripten.yml

@@ -24,11 +24,10 @@ jobs:
       EMSCRIPTEN_VERSION: 3.1.58
       NODE_VERSION: 20
     steps:
-      - uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
 
       - name: Set up Python ${{ env.PYTHON_VERSION }}
-        id: setup-python
-        uses: actions/setup-python@0a5c61591373683505ea898e09a3ea4f39ef2b9c # v5.0.0
+        uses: actions/setup-python@42375524e23c412d93fb67b49958b491fce71c38 # v5.4.0
         with:
           python-version: ${{ env.PYTHON_VERSION }}
 
@@ -39,13 +38,19 @@ jobs:
           actions-cache-folder: emsdk-cache
 
       - name: Set up Node.js
-        uses: actions/setup-node@60edb5dd545a775178f52524783378180af0d1f8 # v4.0.2
+        uses: actions/setup-node@1d0ff469b7ec7b3cb9d8673fde0c81c44821de2a # v4.2.0
         with:
           node-version: ${{ env.NODE_VERSION }}
 
       - name: Install pyodide-build
         run: pip install pyodide-build
 
+      - name: Cache WASM library directory
+        uses: actions/cache/restore@d4323d4df104b026a6aa633fdb11d772146be0bf # v4.2.2
+        with:
+          path: ${{ github.workspace }}/wasm-library-dir
+          key: wasm-library-dir-${{ hashFiles('.github/workflows/ci-emscripten.yml') }}
+
       - name: Build libgmp
         env:
           CFLAGS: "-fPIC"
@@ -104,6 +109,12 @@ jobs:
           emmake make -j $(nproc)
           emmake make install
 
+      - name: Cache WASM library directory
+        uses: actions/cache/save@d4323d4df104b026a6aa633fdb11d772146be0bf # v4.2.2
+        with:
+          path: ${{ github.workspace }}/wasm-library-dir
+          key: wasm-library-dir-${{ hashFiles('.github/workflows/ci-emscripten.yml') }}
+
       - name: Build python-flint
         env:
           WASM_LIBRARY_DIR: ${{ github.workspace }}/wasm-library-dir