2022-01-03 08:43:40 +01:00
|
|
|
name: 'GitHub Action for GraalVM'
|
2022-03-11 14:06:12 +01:00
|
|
|
description: 'Set up a specific version of GraalVM Community Edition (CE) or Enterprise Edition (EE)'
|
2022-08-31 10:07:18 +02:00
|
|
|
author: 'GraalVM Community'
|
2022-01-03 08:43:40 +01:00
|
|
|
branding:
|
|
|
|
icon: 'terminal'
|
|
|
|
color: 'blue'
|
|
|
|
inputs:
|
|
|
|
version:
|
|
|
|
required: true
|
2022-01-14 10:20:26 +01:00
|
|
|
description: 'GraalVM version (release, latest, dev).'
|
2022-03-03 17:24:24 +01:00
|
|
|
gds-token:
|
|
|
|
required: false
|
2022-03-11 14:06:12 +01:00
|
|
|
description: 'Download token for the GraalVM Download Service. If provided, the action will set up GraalVM Enterprise Edition.'
|
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
|
2022-01-20 17:49:45 +01:00
|
|
|
description: 'Comma-separated list of GraalVM components to be installed.'
|
2022-01-03 08:43:40 +01:00
|
|
|
default: ''
|
|
|
|
github-token:
|
|
|
|
required: false
|
2022-01-20 17:49:45 +01:00
|
|
|
description: 'Set it to secrets.GITHUB_TOKEN to increase rate limits when accessing the GitHub API.'
|
2022-01-03 08:43:40 +01:00
|
|
|
default: ''
|
|
|
|
set-java-home:
|
|
|
|
required: false
|
2022-01-20 17:49:45 +01:00
|
|
|
description: 'Set $JAVA_HOME to the GraalVM installation. Default: true.'
|
2022-01-03 08:43:40 +01:00
|
|
|
default: 'true'
|
2022-08-31 10:07:18 +02:00
|
|
|
cache:
|
|
|
|
description: 'Name of the build platform to cache dependencies. It can be "maven", "gradle", or "sbt".'
|
|
|
|
required: false
|
2022-01-20 17:49:45 +01:00
|
|
|
native-image-musl:
|
|
|
|
required: false
|
|
|
|
description: 'Set up musl for static image building with GraalVM Native Image.'
|
|
|
|
default: 'false'
|
2022-01-03 08:43:40 +01:00
|
|
|
runs:
|
2022-08-31 10:07:18 +02:00
|
|
|
using: 'node16'
|
|
|
|
main: 'dist/main/index.js'
|
|
|
|
post: 'dist/cleanup/index.js'
|
2022-08-31 11:24:48 +02:00
|
|
|
post-if: 'success()'
|