Update Binder runtime.

vnmabus · Dec 26, 2022 · c8336d4 · c8336d4
1 parent 97a28fc
commit c8336d4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/binder/runtime.txt b/binder/runtime.txt
@@ -0,0 +1 @@
+python-3.8 
diff --git a/docs/conf.py b/docs/conf.py
@@ -86,7 +86,7 @@
         'repo': 'dcor',
         'branch': branch,
         'binderhub_url': 'https://mybinder.org',
-        'dependencies': ['../pyproject.toml', '../binder/requirements.txt'],
+        'dependencies': ['../binder/runtime.txt', '../binder/requirements.txt'],
         'notebooks_dir': '../examples',
     },
 }