Changed z3 version to 4.8.5 from 4.8.7

viperproject · Aug 30, 2023 · 2121b06 · 2121b06
1 parent f980f88
commit 2121b06
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/z3_trace_log_gen.yml b/.github/workflows/z3_trace_log_gen.yml
@@ -26,7 +26,7 @@ jobs:
       - name: Install Z3
         uses: pavpanchekha/[email protected]
         with:
-          version: "4.8.7"
+          version: "4.8.5"
 
       # Runs a single command using the runners shell
       - name: Run a one-line script