Merge pull request #13 from manics/add-binder-badge

Automatically add mybinder badge on PRs
This commit is contained in:
Tim Head 2020-09-08 18:09:38 +02:00 committed by GitHub
commit 034931911e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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 }}