New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

launchbinder run python 3.7 #67

Closed

Karduin opened this issue Nov 16, 2022 · 2 comments

Contributor

Karduin commented Nov 16, 2022

Launch binder run python 3.7. Peut-être configurer pour du 3.10 afin d'être en phase avec le cours ?

Contributor

parmentelat commented Nov 16, 2022

good idea

from what I can see here
https://mybinder.readthedocs.io/en/latest/using/config_files.html#runtime-txt-specifying-runtimes
and here
https://github.com/binder-examples/requirements
it looks like it's just a matter of creating a runtime.txt

I'll give this a try right away

parmentelat added a commit that referenced this issue


          for #67

79973e0

Contributor

parmentelat commented Nov 16, 2022

and I can confirm it does work 👍
thanks for suggesting this

parmentelat closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment