Skip to content

Update JupyterLite#1443

Merged
inducer merged 1 commit intomainfrom
update-jupyterlite
Mar 16, 2026
Merged

Update JupyterLite#1443
inducer merged 1 commit intomainfrom
update-jupyterlite

Conversation

@inducer
Copy link
Owner

@inducer inducer commented Mar 16, 2026

No description provided.

Copilot AI review requested due to automatic review settings March 16, 2026 22:33
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

Updates the JupyterLite build setup under contrib/jupyterlite/ to use newer JupyterLite/Xeus tooling and updated conda channels, while also simplifying parts of the build script.

Changes:

  • Switch JupyterLite kernel environment channels to prefix.dev and expand the kernel environment dependencies (xeus-python + core Python deps).
  • Update build.sh to use shallow clones for course materials and remove the vendored MathJax download/build flag.
  • Update the build environment to a newer jupyterlite-core range and switch from jupyterlite-xeus-python to jupyterlite-xeus.

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 3 comments.

File Description
contrib/jupyterlite/environment.yml Updates channels and adds explicit xeus-python/Python dependency constraints for the kernel env.
contrib/jupyterlite/build.sh Uses shallow clones and drops explicit MathJax bundling; adds clarification comment about Pyodide.
contrib/jupyterlite/build-environment.yml Bumps JupyterLite core version range and switches to jupyterlite-xeus.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

You can also share your feedback on Copilot code review. Take the survey.

@inducer inducer enabled auto-merge (rebase) March 16, 2026 22:40
@inducer inducer merged commit 3624c09 into main Mar 16, 2026
26 of 33 checks passed
@inducer inducer deleted the update-jupyterlite branch March 16, 2026 23:04
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.

2 participants