diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 71ce588..0589f07 100644
--- 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/release-action@v1.10.0