This repository provides a GitHub Action to setup the Elide runtime within your workflows.
Install the latest Elide version and add it to the PATH
- name: "Setup: Elide"
uses: elide-dev/setup-elide@v1.0.1
Install a specific Elide version and add it to the PATH
- name: "Setup: Elide"
uses: elide-dev/setup-elide@v1.0.1
with:
version: 1.0.0-alpha9 # any tag from the `elide-dev/releases` repo
Install Elide but don't add it to the PATH
- name: "Setup: Elide"
uses: elide-dev/setup-elide@v1.0.1
with:
export_path: false
The full suite of available options are below.
Option | Type | Default | Description |
---|---|---|---|
version |
string |
latest |
Version to install; defaults to latest |
os |
string |
(Current) | OS to target; defaults to current platform |
arch |
string |
(Current) | Arch to target; defaults to current platform |
force |
boolean |
false |
Force installation over existing binary |
prewarm |
boolean |
true |
Warm up the runtime after installing |
selftest |
boolean |
true |
Perform a self-test after installing |
token |
string |
${{ env.GITHUB_TOKEN }} |
GitHub token to use for fetching assets |
export_path |
boolean |
true |
Whether to install Elide onto the PATH |
Options for os
(support varies)
darwin
,mac
,macos
windows
,win32
linux
Options for arch
(support varies)
amd64
,x64
,x86_64
arm64
,aarch64
Full configuration sample with defaults
- name: "Setup: Elide"
uses: elide-dev/setup-elide@v1
with:
version: latest
os: linux
arch: amd64
force: false
prewarm: true
seltest: true
export_path: true
Elide is a new runtime and framework designed for the polyglot era. Mix and match languages including JavaScript, Python, Ruby, and JVM, with the ability to share objects between them. It's fast: Elide can execute Python at up to 3x the speed of CPython, Ruby at up to 22x vs. CRuby, and JavaScript at up to 75x the speed of Node. Elide already beats Node, Deno, and Bun under benchmark.
- Visit elide.dev, our website, which runs on Elide
- Watch the launch video for demos, benchmarks, and a full feature tour
- Join the devs on Discord, we are always open to new ideas and feedback