Increase timeout

sagemath · Sep 15, 2023 · a455d37 · a455d37
1 parent 1a6f7be
commit a455d37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/binder.yml b/.github/workflows/binder.yml
@@ -32,7 +32,7 @@ jobs:
           git push -f origin $BINDER_BRANCH_NAME
 
       - name: Have Binder build
-        timeout-minutes: 10
+        timeout-minutes: 60
         continue-on-error: true
         run: |
           curl -L https://mybinder.org/build/gh/${BINDER_REPO_NAME}/${BINDER_BRANCH_NAME}