wasm build problem

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
Z3Prover · Aug 13, 2024 · 83f47bd · 83f47bd
1 parent bf34600
commit 83f47bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/wasm.yml b/.github/workflows/wasm.yml
@@ -48,7 +48,7 @@ jobs:
           source $(dirname $(which emsdk))/emsdk_env.sh
           which node
           which clang++
-          npm run build:wasm
+          npm run build:wasm -- -sINITIAL_MEMORY=128MB -sALLOW_MEMORY_GROWTH
 
       - name: Test
         run: npm test