From 4bdd98bfa41ab11ced363b399f24db0a30024f75 Mon Sep 17 00:00:00 2001 From: Valentin Churavy Date: Wed, 26 Jun 2024 17:12:56 -0400 Subject: [PATCH] set export URL to ourselves --- .github/workflows/ExportPluto.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ExportPluto.yaml b/.github/workflows/ExportPluto.yaml index b0fa654..2f76cfa 100644 --- a/.github/workflows/ExportPluto.yaml +++ b/.github/workflows/ExportPluto.yaml @@ -70,6 +70,7 @@ jobs: Export_baked_notebookfile=false, Export_baked_state=false, Export_create_pluto_featured_index=true, + Export_binder_url="https://mybinder.org/v2/gh/DJ4Earth/MPE24/main" # more parameters can go here )'