mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 17:14:07 +00:00
wasm build problem
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
parent
bf34600f08
commit
83f47bd84b
2
.github/workflows/wasm.yml
vendored
2
.github/workflows/wasm.yml
vendored
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue