[ci] turing.mybinder.org is offline, but the ovh one is back

pymor · Jul 7, 2020 · 6221e6a · 6221e6a
1 parent 7ec4a8e
commit 6221e6a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.ci/gitlab/ci.yml b/.ci/gitlab/ci.yml
@@ -588,7 +588,7 @@ trigger_binder 2/3:
         - apk --update add bash python3
         - pip3 install requests
     script:
-        - python3 .ci/gitlab/trigger_binder.py "https://turing.mybinder.org/build/gh/pymor/pymor/${CI_COMMIT_REF}"
+        - python3 .ci/gitlab/trigger_binder.py "https://ovh.mybinder.org/build/gh/pymor/pymor/${CI_COMMIT_REF}"
 
 trigger_binder 3/3:
     extends: .test_base

diff --git a/.ci/gitlab/template.ci.py b/.ci/gitlab/template.ci.py
@@ -344,7 +344,7 @@
 test_scripts = [("mpi", pythons, 1), ("notebooks_dir", pythons, 1),  ("pip_installed", pythons, 1),
     ("vanilla", pythons, 1), ("numpy_git", newest, 1), ("oldest", oldest, 1),]
 # these should be all instances in the federation
-binder_urls = [f'https://{sub}.mybinder.org/build/gh/pymor/pymor' for sub in ('gke', 'turing', 'gesis')]
+binder_urls = [f'https://{sub}.mybinder.org/build/gh/pymor/pymor' for sub in ('gke', 'ovh', 'gesis')]
 testos = ['centos_8', 'debian_buster', 'debian_testing']
 
 env_path = Path(os.path.dirname(__file__)) / '..' / '..' / '.env'