Shorten the timeout for the "wait for ..." steps
If the hub isn't ready within ten minutes there is probably something
wrong and it won't become ready either.
@@ -112,6 +112,7 @@ jobs:
--set config.BinderHub.hub_url_local=http://proxy-public \
--set config.BinderHub.access_token=$GITHUB_ACCESS_TOKEN
- name: Wait for JupyterHub to be ready
+ timeout-minutes: 10
run: |
# Wait for JupyterHub to be ready
set -e
@@ -130,8 +131,9 @@ jobs:
echo
echo "curl http://localhost:30902/hub/api/" should print the JupyterHub version
curl http://localhost:30902/hub/api/
- - name: Wait for binderhub to be ready
+ - name: Wait for BinderHub to be ready
if: matrix.test == 'helm'
+ timeout-minutes: 10
run: |
# Wait for BinderHub to be ready
set -e
