Merge pull request #2 from junkil-park/master

Update action.yml
pavpanchekha · Jun 1, 2020 · 504c5f1 · 504c5f1
2 parents 00c0ace + ce1be50
commit 504c5f1
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'