fixed version number

viperproject · Aug 30, 2023 · f980f88 · f980f88
1 parent ebdebd6
commit f980f88
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.2.2
+        uses: pavpanchekha/setup-z3@1.2.2
         with:
           version: "4.8.7"