From 83f47bd84bbd2f22b1394cac03a024f1e49c5183 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 8e157f5a4..f0b8bd91b 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