Skip to content

Drop worker-loader dependency#130

Merged
krassowski merged 2 commits into
jupyterlab:mainfrom
fleming79:worker-loader
Jun 27, 2026
Merged

Drop worker-loader dependency#130
krassowski merged 2 commits into
jupyterlab:mainfrom
fleming79:worker-loader

Conversation

@fleming79

Copy link
Copy Markdown
Contributor

Ref: #128

@krassowski krassowski added the maintenance Change related to maintenance of the repository label Jun 27, 2026
@Darshan808 Darshan808 linked an issue Jun 27, 2026 that may be closed by this pull request
@Darshan808

Copy link
Copy Markdown
Member

CI failure is resolved in #131 and not related to changes here.

@krassowski krassowski left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I would say let's try it in a minor version and revert if this breaks something (which I think is unlikely).

@krassowski krassowski merged commit cf071dd into jupyterlab:main Jun 27, 2026
21 checks passed
@github-project-automation github-project-automation Bot moved this from Todo to Done in CFP '25 tracking Jun 27, 2026
@fleming79 fleming79 deleted the worker-loader branch June 27, 2026 21:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Change related to maintenance of the repository

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Is the worker-loader dependency required?

3 participants