From ebdebd62ceb8ecda25223f38da09fe89986bad55 Mon Sep 17 00:00:00 2001
From: ojyrkinen <oskari.jyrkinen@gmail.com>
Date: Wed, 30 Aug 2023 16:22:17 +0200
Subject: [PATCH] Changed version of z3 install action

---
 .github/workflows/z3_trace_log_gen.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/z3_trace_log_gen.yml b/.github/workflows/z3_trace_log_gen.yml
index 72be1e10..528946f9 100644
--- 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"