Fix variables problem

sagemath · Sep 15, 2023 · 547dee1 · 547dee1
1 parent a455d37
commit 547dee1
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/binder.yml b/.github/workflows/binder.yml
@@ -35,4 +35,9 @@ jobs:
         timeout-minutes: 60
         continue-on-error: true
         run: |
+          set -ex
+          REPO_NAME=${{ github.repository }}
+          BRANCH_NAME=${GITHUB_REF#refs/heads/}
+          BINDER_REPO_NAME=${REPO_NAME}
+          BINDER_BRANCH_NAME=${BRANCH_NAME}-binder
           curl -L https://mybinder.org/build/gh/${BINDER_REPO_NAME}/${BINDER_BRANCH_NAME}