Skip to content
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.

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

WIP: Fix Julia version to 1.5.2 #11

Closed
wants to merge 1 commit into from
Closed

WIP: Fix Julia version to 1.5.2 #11

wants to merge 1 commit into from

Conversation

seisman
Copy link
Member

@seisman seisman commented Sep 30, 2020

julia = '1.5' in Project.toml doesn't mean the installed julia version is 1.5.
To specify the julia version, we need to use julia = "=x.y.z".

See https://discourse.julialang.org/t/ann-mybinder-org-support-for-julia-1-x-and-project-toml/22522/27
for discussions.

`julia = '1.5'` in Project.toml doesn't mean the installed julia version is 1.5.
To specify the julia version, we need to use `julia = "=x.y.z"`.

See https://discourse.julialang.org/t/ann-mybinder-org-support-for-julia-1-x-and-project-toml/22522/27
for discussions.
@seisman seisman changed the title Fix Julia version to 1.5.2 WIP: Fix Julia version to 1.5.2 Sep 30, 2020
@seisman
Copy link
Member Author

seisman commented Sep 30, 2020

It doesn't wort. The julia version in the binder is still 1.3.

@seisman
Copy link
Member Author

seisman commented Oct 15, 2020

Now it's Julia 1.5. Closing.

@seisman seisman closed this Oct 15, 2020
@seisman seisman deleted the julia-version branch October 15, 2020 14:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant