Add workflow to create a binder badge comment on PRs

See https://github.com/jupyterhub/binder/issues/212#issuecomment-687706341
This commit is contained in:
Simon Li 2020-09-07 20:04:09 +01:00
parent 5778653573
commit 42d11f6d5f

11
.github/workflows/binder-badge.yml vendored Normal file
View File

@ -0,0 +1,11 @@
name: binder-badge
on:
pull_request_target:
jobs:
badge:
runs-on: ubuntu-latest
steps:
- uses: manics/action-binderbadge@main
with:
githubToken: ${{ secrets.GITHUB_TOKEN }}