You're viewing an older version of this GitHub Action. Do you want to see the latest version instead?
GitHub Action
Trigger binder build
v1.0.0
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 |
optional | 'gh' |
gh | gist | gl | git | zenodo | figshare Name of the service that hosts the repo. |
target-state |
optional | 'master' |
Name of the branch, tag or commit which should be build, by mybinder.org. |
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>
debug: true