From 31a12931becf8048917b8cb35ba539ac5aea314b Mon Sep 17 00:00:00 2001 From: Teresia Olsson Date: Wed, 9 Sep 2026 18:03:03 +0200 Subject: [PATCH] Add required python environment for binder. --- .github/workflows/deploy-pages.yml | 3 +++ runtime.txt | 1 + 2 files changed, 4 insertions(+) create mode 100644 runtime.txt diff --git a/.github/workflows/deploy-pages.yml b/.github/workflows/deploy-pages.yml index 53dc653..0202bae 100644 --- a/.github/workflows/deploy-pages.yml +++ b/.github/workflows/deploy-pages.yml @@ -35,6 +35,9 @@ jobs: - name: Build Sphinx docs run: ./build-docs.sh + - name: Set Binder Python version + run: cp runtime.txt docs/build/html/runtime.txt + - name: Publish built docs for Binder uses: peaceiris/actions-gh-pages@v4 with: diff --git a/runtime.txt b/runtime.txt new file mode 100644 index 0000000..67ebc4e --- /dev/null +++ b/runtime.txt @@ -0,0 +1 @@ +python-3.11