Skip to content

remove circle#2753

Merged
awni merged 1 commit intomainfrom
remove_circle
Nov 11, 2025
Merged

remove circle#2753
awni merged 1 commit intomainfrom
remove_circle

Conversation

@awni
Copy link
Copy Markdown
Member

@awni awni commented Nov 11, 2025

Builds and releases are working so let's remove this. It's in the git history if we need to refer to it.

@awni awni requested review from angeloskath and zcbenz November 11, 2025 17:54
Copy link
Copy Markdown
Member

@angeloskath angeloskath left a comment

Choose a reason for hiding this comment

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

👍

@awni awni merged commit 047114b into main Nov 11, 2025
7 checks passed
@awni awni deleted the remove_circle branch November 11, 2025 19:39
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.

2 participants