Skip to content

remove easy_campaign - #348

Merged
atravitz merged 1 commit into
mainfrom
maint/remove_easy_campaign
Oct 26, 2026
Merged

atravitz merged 1 commit into
mainfrom
maint/remove_easy_campaign

Conversation

@atravitz

@atravitz atravitz commented Oct 26, 2026 •

Copy link
Copy Markdown
Contributor

resolves #346

@github-actions

Copy link
Copy Markdown

Colab 👈 Launch a Colab session on branch maint/remove_easy_campaign

@atravitz
atravitz force-pushed the maint/remove_easy_campaign branch from a3e8b48 to 1a5fe2a Compare October 26, 2026 14:24

@hannahbaumann hannahbaumann left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Thanks @atravitz , lgtm!

@atravitz
atravitz marked this pull request as ready for review October 26, 2026 14:55
@atravitz
atravitz merged commit 7c1818c into main Oct 26, 2026
4 checks passed
@atravitz
atravitz deleted the maint/remove_easy_campaign branch October 26, 2026 14:55
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.

Should we remove the easy_campaign?

2 participants