Skip to content

Commit

Permalink
Merge pull request #64 from fcollonval/bump
Browse files Browse the repository at this point in the history
Bump 3.1.0
  • Loading branch information
fcollonval committed Sep 10, 2021
2 parents bbbd027 + 8cffe71 commit 3a66ae5
Show file tree
Hide file tree
Showing 2 changed files with 30 additions and 1 deletion.
29 changes: 29 additions & 0 deletions .github/workflows/binder-on-pr.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
# Reference https://mybinder.readthedocs.io/en/latest/howto/gh-actions-badges.html
name: Binder Badge
on:
pull_request_target:
types: [opened]

permissions:
pull-requests: write

jobs:
binder:
runs-on: ubuntu-latest
steps:
- name: comment on PR with Binder link
uses: actions/github-script@v3
with:
github-token: ${{secrets.GITHUB_TOKEN}}
script: |
var PR_HEAD_USERREPO = process.env.PR_HEAD_USERREPO;
var PR_HEAD_REF = process.env.PR_HEAD_REF;
github.issues.createComment({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
body: `[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/${PR_HEAD_USERREPO}/${PR_HEAD_REF}?urlpath=lab) :point_left: Launch a binder notebook on branch _${PR_HEAD_USERREPO}/${PR_HEAD_REF}_`
})
env:
PR_HEAD_REF: ${{ github.event.pull_request.head.ref }}
PR_HEAD_USERREPO: ${{ github.event.pull_request.head.repo.full_name }}
2 changes: 1 addition & 1 deletion package.json
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"name": "@hadim/jupyter-archive",
"version": "3.0.3",
"version": "3.1.0",
"description": "A Jupyterlab extension to make, download and extract archive files.",
"keywords": [
"jupyter",
Expand Down

0 comments on commit 3a66ae5

Please sign in to comment.