Bump z3 to 4.8.16

ViRb3 · Apr 24, 2022 · 66caadd · 66caadd
1 parent 9b2cbbc
commit 66caadd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -29,7 +29,7 @@ jobs:
           (cd build/ && tar -czf ../z3.tar.gz *)
         env:
           EMSDK_TAG: "3.1.9"
-          Z3_TAG: "z3-4.8.15"
+          Z3_TAG: "z3-4.8.16"
 
       - name: Release
         uses: ncipollo/[email protected]