Update Z3 to 4.13.2 and update emscripten to latest (#309)

* Update emscripten * Bump z3 submodule to new release
prove-rs · Sep 30, 2024 · cb32b95 · cb32b95
1 parent b47f3af
commit cb32b95
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -10,7 +10,7 @@ env:
   CARGO_INCREMENTAL: 0
   CARGO_REGISTRIES_CRATES_IO_PROTOCOL: sparse
   RUSTFLAGS: "-D warnings"
-  EMSCRIPTEN_VERSION: "3.1.59" # Change back to `latest` once Z3 4.13.1 or later is out.
+  EMSCRIPTEN_VERSION: "latest"
 
 jobs:
   check-formatting:

diff --git a/z3-sys/z3 b/z3-sys/z3