diff --git a/.github/workflows/z3_trace_log_gen.yml b/.github/workflows/z3_trace_log_gen.yml
index 528946f9..2d471314 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.2.2
+        uses: pavpanchekha/setup-z3@1.2.2
         with:
           version: "4.8.7"