Skip to content

Remove CircleCI#910

Merged
SuperQ merged 1 commit into
mainfrom
remove-circle-ci
May 27, 2026
Merged

Remove CircleCI#910
SuperQ merged 1 commit into
mainfrom
remove-circle-ci

Conversation

@ArthurSens
Copy link
Copy Markdown
Member

Removing the no-op CI

Signed-off-by: Arthur Silva Sens <[email protected]>
@ArthurSens ArthurSens requested a review from SuperQ May 27, 2026 17:00
@SuperQ
Copy link
Copy Markdown
Member

SuperQ commented May 27, 2026

Disabled in circleci.

@SuperQ SuperQ merged commit b51d01b into main May 27, 2026
8 of 9 checks passed
@SuperQ SuperQ deleted the remove-circle-ci branch May 27, 2026 19:34
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