Skip to content

Conversation

@oesteban
Copy link
Member

@oesteban oesteban commented Oct 7, 2025

No description provided.

@oesteban oesteban merged commit 24e2cc3 into main Oct 7, 2025
1 check failed
@oesteban oesteban deleted the maint/docker-and-binder branch October 7, 2025 22:19
Copy link

@chatgpt-codex-connector chatgpt-codex-connector bot left a comment

Choose a reason for hiding this comment

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

💡 Codex Review

#!/bin/bash
set -euxo pipefail
curl -fsSL https://pixi.sh/install.sh | bash
export PATH="$HOME/.pixi/bin:$PATH"
pixi install --locked

P1 Badge Activate pixi env for Binder kernel

The Binder setup now leaves binder/requirements.txt empty while postBuild merely installs a pixi environment (curl …; pixi install --locked). Binder launches Jupyter in the base Python environment, so none of the packages installed into .pixi will be available unless the kernel is switched to run through pixi. As written, notebooks will still run in an environment missing the repo’s dependencies and imports will fail. The build needs to activate the pixi environment for the default kernel (for example, by injecting the shell hook and registering the environment) or continue installing packages via requirements.txt.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting

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