diff --git a/build-constraints.yaml b/build-constraints.yaml
index a6ceede8..b45843e3 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -8579,7 +8579,6 @@ expected-test-failures:
     - foldl-statistics # https://github.com/data61/foldl-statistics/issues/2
     - friday # https://github.com/RaphaelJ/friday/issues/37
     - fsnotify # Often runs out of inotify handles
-    - grisette # 0.11.0.0 https://github.com/lsrcz/grisette/issues/287
     - hastache
     - hedn
     - ihaskell # https://github.com/gibiansky/IHaskell/issues/551
diff --git a/docker/03-custom-install.sh b/docker/03-custom-install.sh
index e1493371..34ec1c06 100755
--- a/docker/03-custom-install.sh
+++ b/docker/03-custom-install.sh
@@ -76,7 +76,7 @@ add-apt-repository "deb https://packages.confluent.io/deb/5.2 stable main"
 apt-get update && apt install -y librdkafka-dev
 
 # Install z3, for grisette test suite
-Z3_VER=4.12.4
+Z3_VER=4.13.4
 (
   cd /usr/local \
     && wget https://github.com/Z3Prover/z3/releases/download/z3-${Z3_VER}/z3-${Z3_VER}-x64-glibc-2.35.zip \