Skip to content

[CI] Use GitHub Actions for CI#200

Merged
czoido merged 20 commits intomainfrom
czoido/migrate-to-ga
Nov 12, 2025
Merged

[CI] Use GitHub Actions for CI#200
czoido merged 20 commits intomainfrom
czoido/migrate-to-ga

Conversation

@czoido
Copy link
Contributor

@czoido czoido commented Nov 7, 2025

No description provided.

@czoido czoido marked this pull request as ready for review November 7, 2025 14:22
@czoido czoido requested a review from uilianries November 7, 2025 14:22
Copy link
Member

@uilianries uilianries left a comment

Choose a reason for hiding this comment

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

It looks good for a first revision! Only a small question.

Copy link
Member

@uilianries uilianries left a comment

Choose a reason for hiding this comment

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

LGTM

Copy link
Member

@memsharded memsharded left a comment

Choose a reason for hiding this comment

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

Great!

@czoido czoido merged commit c74be95 into main Nov 12, 2025
13 checks passed
@perseoGI perseoGI mentioned this pull request Nov 12, 2025
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.

3 participants