From 36011604d162531a3a49070dbb4e27248c617710 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 12 Aug 2024 10:28:27 -1000
Subject: [PATCH] wasm build problem

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 .github/workflows/wasm.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/wasm.yml b/.github/workflows/wasm.yml
index 8e157f5a465..f0b8bd91b79 100644
--- 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