Github action to trigger a build on binder, so the build is always up to date with the targeted state and users don't have to wait.
Since binder is an none profit project, please use this action sparsely and
in a none spammy manner, to treat their resources with care.
An example would be a repository, where the branch which should be build is only changed via pull requests
and this action is only executed on that branch.
To not spam binder is also why, by design, target-repo is a required
input and not read from the environment, since this prevents unnecessary builds of forks.
| Name | Requirement | Default | Description |
|---|---|---|---|
target-repo |
required | Repository which should be build by mybinder.org . | |
service-name |
required | 'gh' |
gh | gist | gl | git | zenodo | figshare Name of the service that hosts the repo. |
target-state |
optional | '' |
Name of the branch, tag or commit which should be build, by mybinder.org. |
use-default-build-servers |
optional | true |
Whether or not to use the default mybinder.org build servers. If false and additional-build-server is not specified, this will throw an error. |
additional-build-servers |
optional | '' |
Newline separated list of urls, which point do binder build servers base url. |
debug |
optional | false |
If this is true all server response messages will be printed to console. |
See action.yml
name: 'Trigger-Binder-build'
on:
push:
branches:
- <binder-branch>
jobs:
trigger-binder-build:
runs-on: [ubuntu-latest]
steps:
- uses: s-weigand/trigger-mybinder-build@v1
with:
target-repo: <my-github-handle>/<my-repo-name>name: 'Trigger-Binder-build'
on:
push:
branches:
- <binder-branch>
jobs:
trigger-binder-build:
runs-on: [ubuntu-latest]
steps:
- uses: s-weigand/trigger-mybinder-build@v1
with:
target-repo: <my-gitlab-handle>/<my-repo-name>
service-name: gl
target-state: <binder-branch-tag-commit>
use-default-build-servers: false
additional-build-servers: |
<build-server-url-1>
<build-server-url-2>
debug: true