Skip to content

Enable CI for merge queues.#9

Merged
xStrom merged 1 commit intomainfrom
merge-queue
Jan 31, 2026
Merged

Enable CI for merge queues.#9
xStrom merged 1 commit intomainfrom
merge-queue

Conversation

@xStrom
Copy link
Copy Markdown
Member

@xStrom xStrom commented Jan 31, 2026

Then we can enable merge queues.

@xStrom xStrom merged commit d65ed52 into main Jan 31, 2026
1 check passed
@xStrom xStrom deleted the merge-queue branch January 31, 2026 21:33
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