Merge branch 'master' of https://github.com/z3prover/z3

Z3Prover · Jul 5, 2022 · a251595 · a251595
2 parents d7472f0 + db09d38
commit a251595
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/wasm-release.yml b/.github/workflows/wasm-release.yml
@@ -10,7 +10,7 @@ defaults:
     working-directory: src/api/js
 
 env:
-  EM_VERSION: 3.1.0
+  EM_VERSION: 3.1.15
 
 jobs:
   publish:

diff --git a/.github/workflows/wasm.yml b/.github/workflows/wasm.yml
@@ -10,7 +10,7 @@ defaults:
     working-directory: src/api/js
 
 env:
-  EM_VERSION: 3.1.0
+  EM_VERSION: 3.1.15
 
 jobs:
   check: