Skip to content

Commit

Permalink
Added paramters to actions.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
pavpanchekha committed May 19, 2021
1 parent a0e5317 commit 77c3359
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 3 deletions.
5 changes: 4 additions & 1 deletion action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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'
4 changes: 2 additions & 2 deletions index.js
Original file line number Diff line number Diff line change
Expand Up @@ -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);
Expand Down

0 comments on commit 77c3359

Please sign in to comment.