Skip to content

Add action branding#389

Merged
manics merged 2 commits intomainfrom
dev
Dec 29, 2021
Merged

Add action branding#389
manics merged 2 commits intomainfrom
dev

Conversation

@manics
Copy link
Copy Markdown
Owner

@manics manics commented Dec 29, 2021

@github-actions
Copy link
Copy Markdown

github-actions Bot commented Dec 29, 2021

Binder 👈 Launch a binder notebook on this branch for commit 6a662ec

I will automatically update this comment whenever this PR is modified

Binder 👈 Launch a binder notebook on this branch for commit 1d5b713

@manics manics merged commit 9ec9b5d into main Dec 29, 2021
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.

1 participant