From 1afa1ed3025da03ed3f059463ca06114442e1ecb Mon Sep 17 00:00:00 2001 From: Ian Thomas Date: Tue, 28 May 2024 13:02:56 +0100 Subject: [PATCH] Try using notebook --- .binder/environment.yml | 1 + .github/workflows/binder-on-pr.yml | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.binder/environment.yml b/.binder/environment.yml index e62858b..f0dcc09 100644 --- a/.binder/environment.yml +++ b/.binder/environment.yml @@ -6,3 +6,4 @@ dependencies: - jupyterlab~=4.0 - ipywidgets>=7.6 - matplotlib + - notebook>=7 diff --git a/.github/workflows/binder-on-pr.yml b/.github/workflows/binder-on-pr.yml index 493374c..8fc5b8f 100644 --- a/.github/workflows/binder-on-pr.yml +++ b/.github/workflows/binder-on-pr.yml @@ -19,7 +19,7 @@ jobs: 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/tree/docs/examples/full-example.ipynb) :point_left: Launch a binder notebook on branch _${PR_HEAD_USERREPO}/${PR_HEAD_REF}_` + body: `[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/${PR_HEAD_USERREPO}/${PR_HEAD_REF}?urlpath=notebooks/docs/examples/full-example.ipynb) :point_left: Launch a binder notebook on branch _${PR_HEAD_USERREPO}/${PR_HEAD_REF}_` }) env: PR_HEAD_REF: ${{ github.event.pull_request.head.ref }}