Update action.yml

- Updated with the latest official Z3 version number
pavpanchekha · Jun 1, 2020 · ce1be50 · ce1be50
1 parent 00c0ace
commit ce1be50
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/action.yml b/action.yml
@@ -10,7 +10,7 @@ inputs:
     default: 'x64'
   version:
     description: 'Version range or exact version of Z3 to use.'
-    default: '4.8.7'
+    default: '4.8.8'
 runs:
   using: 'node12'
   main: 'index.js'