fix lint issues

This commit is contained in:
George Adams 2020-05-26 15:37:44 +01:00
parent e5c6ca31f3
commit 079229f185
No known key found for this signature in database
GPG key ID: 7B8D7E4421A0916D
4 changed files with 12 additions and 2 deletions

View file

@ -9,7 +9,7 @@ inputs:
Early access versions can be specified in the form of e.g. 14-ea,
14.0.0-ea, or 14.0.0-ea.28'
required: true
vendor:
distro:
description: 'The vendor to fetch the binary from (adoptopenjdk, zulu).
Defaults to adoptopenjdk'
required: false