Skip to content

pkgimages = "existing"#23

Draft
pankgeorg wants to merge 1 commit intomasterfrom
pankgeorg-patch-1
Draft

pkgimages = "existing"#23
pankgeorg wants to merge 1 commit intomasterfrom
pankgeorg-patch-1

Conversation

@pankgeorg
Copy link
Collaborator

In 1.11 we can instruct julia to use the existing pkgimages, but not make new ones.

In 1.11 we can instruct julia to use the existing pkgimages, but not make new ones.
@pankgeorg pankgeorg marked this pull request as draft October 29, 2024 15:12
@fonsp
Copy link
Owner

fonsp commented Nov 8, 2024

Wow cool! Currently this binder breaks on Julia 1.11 (the server launches but Pluto gets stuck starting the notebook workspace process), so we are using Julia 1.10. 🤪

@fonsp fonsp changed the title Update pluto_server_config.jl pkgimages = "existing" Nov 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants