From 77c3359e5f24bf445e32c97eafddb2ab104b8b8e Mon Sep 17 00:00:00 2001
From: Pavel Panchekha <me@pavpanchekha.com>
Date: Wed, 19 May 2021 10:51:04 -0600
Subject: [PATCH] Added paramters to actions.yml

---
 action.yml | 5 ++++-
 index.js   | 4 ++--
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/action.yml b/action.yml
index b524ad5..fdae252 100644
--- a/action.yml
+++ b/action.yml
@@ -5,12 +5,15 @@ branding:
   icon: 'download'
   color: 'blue'
 inputs:
+  distribution:
+    description: 'The build to target'
+    default: 'ubuntu-18.04'
   architecture:
     description: 'The target architecture (x86, x64) for Windows builds.'
     default: 'x64'
   version:
     description: 'Version range or exact version of Z3 to use.'
-    default: '4.8.8'
+    default: '4.8.10'
 runs:
   using: 'node12'
   main: 'index.js'
diff --git a/index.js b/index.js
index 0fdda3f..86cf1a5 100644
--- a/index.js
+++ b/index.js
@@ -9,8 +9,8 @@ function z3URL(architecture, version, distribution) {
 
 (async function() {
     try {
-        const architecture = core.getInput('architecture') || 'x64';
-        const distribution = core.getInput('distribution') || 'ubuntu-18.04';
+        const architecture = core.getInput('architecture', { required: true });
+        const distribution = core.getInput('distribution', { required: true });
         const version = core.getInput('version', { required: true });
 
         const url = z3URL(architecture, version, distribution);