Changed version of z3 install action

viperproject · Aug 30, 2023 · ebdebd6 · ebdebd6
1 parent 12ef867
commit ebdebd6
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
@@ -24,7 +24,7 @@ jobs:
       - uses: actions/checkout@v3
 
       - name: Install Z3
-        uses: pavpanchekha/setup-z3@v1.3
+        uses: pavpanchekha/setup-z3@v1.2.2
         with:
           version: "4.8.7"