setup emscripten after checkout

VeriFIT · Jan 5, 2025 · a30ce35 · a30ce35
1 parent b25ea5e
commit a30ce35
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/js-binding.yml b/.github/workflows/js-binding.yml
@@ -57,6 +57,12 @@ jobs:
       - name: Check out repository code
         uses: actions/checkout@v3
 
+      - name: Setup emscripten
+        uses: mymindstorm/setup-emsdk@v14
+        with:
+          version: 3.1.73
+          actions-cache-folder: 'emsdk-cache'
+
       - name: Compile JS Binding for Z3-Noodler
         run: |
           mkdir build