Skip to content

Comments

ci: update presubmit validation#100

Merged
averikitsch merged 3 commits intomainfrom
ci-presubmit
Feb 18, 2026
Merged

ci: update presubmit validation#100
averikitsch merged 3 commits intomainfrom
ci-presubmit

Conversation

@averikitsch
Copy link
Contributor

No description provided.

@averikitsch averikitsch requested review from a team as code owners February 18, 2026 18:43
@github-actions github-actions bot requested a review from shobsi February 18, 2026 18:44
@averikitsch averikitsch merged commit 5e1b3fc into main Feb 18, 2026
7 checks passed
@averikitsch averikitsch deleted the ci-presubmit branch February 18, 2026 18:51
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