This action establishes a BinderHub session, and exposes the Jupyter server information to the current job. This makes it possible to use BinderHub for remote execution within a GitHub Actions workflow.
Required The URL of the BinderHub.
The ORG/REPO identifying a GitHub repository. Defaults to $GITHUB_REPO if not set.
The Git reference identifying a Git revision, e.g. branch name. Defaults to $GITHUB_REF if not set.
A BinderHub build token, if required.
The URL of the started Jupyter Server.
The token of the started Jupyter Server.
name: Build on BinderHub
on:
push:
jobs:
build:
name: Build
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v6
# Sets the JUPYTER_BASE_URL and JUPYTER_TOKEN env vars
- uses: 2i2c-org/clinder@v1
with:
hub-url: https://mybinder.org/v2/
- uses: actions/setup-node@v4
with:
node-version: 20.x
- name: Install MyST Markdown
run: npm install -g mystmd
- name: Build MyST Project
run: myst build --site --strict --executeUsage: clinder [options] [command]
A simple CLI tool to load a BinderHub session
Options:
-V, --version output the version number
-h, --help display help for command
Commands:
start [options] <binderhub <url>> Start a BinderHub session
stop <url <url>> <token <token>> Stop a BinderHub session
help [command] display help for command
Usage: clinder start [options] <binderhub <url>>
Start a BinderHub session
Arguments:
binderhub <url> BinderHub URL
Options:
--github-repo <repo> GitHub repo
--github-ref <ref> GitHub ref (default: "HEAD")
--json Output JSON
--build-token BinderHub build token
-h, --help display help for command
Usage: clinder stop [options] <url <url>> <token <token>>
Stop a BinderHub session
Arguments:
url <url> session URL
token <token> session token
Options:
-h, --help display help for command