2022-01-03 08:43:40 +01:00
|
|
|
name: 'GitHub Action for GraalVM'
|
|
|
|
|
description: 'Set up a specific version of GraalVM Community Edition'
|
|
|
|
|
author: 'GraalVM Developers'
|
|
|
|
|
branding:
|
|
|
|
|
icon: 'terminal'
|
|
|
|
|
color: 'blue'
|
|
|
|
|
inputs:
|
|
|
|
|
version:
|
|
|
|
|
required: true
|
2022-01-14 10:20:26 +01:00
|
|
|
description: 'GraalVM version (release, latest, dev).'
|
2022-01-03 08:43:40 +01:00
|
|
|
java-version:
|
|
|
|
|
required: true
|
|
|
|
|
description: 'Java version (11 or 17, 8 or 16 for older releases).'
|
|
|
|
|
components:
|
|
|
|
|
required: false
|
|
|
|
|
description: 'Comma-separated list of GraalVM components to be installed'
|
|
|
|
|
default: ''
|
|
|
|
|
github-token:
|
|
|
|
|
required: false
|
|
|
|
|
description: 'Set it to secrets.GITHUB_TOKEN to increase rate limits when accessing the GitHub API'
|
|
|
|
|
default: ''
|
|
|
|
|
set-java-home:
|
|
|
|
|
required: false
|
|
|
|
|
description: 'Set $JAVA_HOME to the GraalVM installation. Default: true'
|
|
|
|
|
default: 'true'
|
|
|
|
|
runs:
|
|
|
|
|
using: 'node12'
|
|
|
|
|
main: 'dist/index.js'
|
