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

chore: drop duplicate workflow #179

Merged

agoose77 merged 1 commit into main from agoose77/chore-drop-double-workflow

Aug 29, 2023

Collaborator

agoose77 commented Aug 29, 2023

No description provided.


          chore; drop duplicate workflow

d0c8d95

agoose77 merged commit 14ed30a into main

2 of 4 checks passed

agoose77 deleted the agoose77/chore-drop-double-workflow branch

August 29, 2023 14:55

Contributor

github-actions bot commented Aug 29, 2023

👈 Launch a Binder on branch executablebooks/jupyterlab-myst/agoose77/chore-drop-double-workflow

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

Labels

None yet