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

fix: Jupyter without collaboration #218

Closed
wants to merge 1 commit into from

Conversation

MoritzWeber0
Copy link
Member

@MoritzWeber0 MoritzWeber0 commented Nov 2, 2023

No description provided.

@MoritzWeber0 MoritzWeber0 changed the title Jupyter without collaboration fix: Jupyter without collaboration Nov 2, 2023
@MoritzWeber0 MoritzWeber0 force-pushed the jupyter-without-collaboration branch from 8b127f6 to d376d9e Compare November 24, 2023 10:06
Requirements can also be provided via a new build argument.

This feature allows users to disable the jupyter-collaboration extension.
The extension produced a lot of trouble in our production
environments. The kernel dies regularly, the cursors jumps back,
sometimes it even resets content of cells.

In addition, the Gitlab CI templates have been extended to also
support a custom requirements template.
@MoritzWeber0 MoritzWeber0 force-pushed the jupyter-without-collaboration branch from d376d9e to 39ee040 Compare December 4, 2023 08:05
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.

1 participant