diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index f77c1707e..90dc87d51 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -1,5 +1,5 @@
 variables:
-  z3Version: '4.9.10'
+  ReleaseVersion: '4.8.10'
 
 jobs: