Skip to content

Conversation

jtpio
Copy link
Member

@jtpio jtpio commented Apr 4, 2024

Trying to unblock other PRs and releases.

Copy link
Contributor

github-actions bot commented Apr 4, 2024

Binder 👈 Launch a Binder on branch jtpio/notebook/pin-base-setup

@jtpio
Copy link
Member Author

jtpio commented Apr 4, 2024

Seems to be fixed by https://github.com/jupyterlab/maintainer-tools/releases/tag/v0.25.5 after restarting the checks in #7312.

@jtpio jtpio closed this Apr 4, 2024
@jtpio jtpio deleted the pin-base-setup branch April 4, 2024 16:56
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 5, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant