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.

Sign up for GitHub

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

Jump to bottom

ENH - Replace binder on PR workflow #65

Merged

trallard merged 2 commits into main from trallard/binder-patch

Jul 13, 2023

Member

trallard commented Jul 13, 2023

Replacing the current action that was also running on push to main, causing it to always fail


          👷 Update binder workflow

89db2aa

trallard added type: enhancement 💅🏼 area: CI 👷🏽‍♀️ labels


          👷 Change PR target

7f0ef40

github-actions bot commented Jul 13, 2023

👈 Launch a Binder on branch Quansight-Labs/jupyterlab-accessible-themes/trallard/binder-patch

trallard merged commit 40f4e1f into main

2 checks passed

trallard deleted the trallard/binder-patch branch

July 13, 2023 19:07

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area: CI 👷🏽‍♀️ type: enhancement 💅🏼