Skip to content

Create a Presubmit CI workflow#4934

Merged
gchatelet merged 1 commit intomainfrom
presubmit_workflows
Dec 15, 2025
Merged

Create a Presubmit CI workflow#4934
gchatelet merged 1 commit intomainfrom
presubmit_workflows

Conversation

@gchatelet
Copy link
Collaborator

No description provided.

@gchatelet gchatelet force-pushed the presubmit_workflows branch 3 times, most recently from 0f2d858 to 8a7b5f9 Compare December 11, 2025 15:05
@gchatelet gchatelet changed the title Test with only clang-format Create a Presubmit CI workflow Dec 15, 2025
@gchatelet gchatelet merged commit 4ad5ccd into main Dec 15, 2025
14 of 22 checks passed
@gchatelet gchatelet deleted the presubmit_workflows branch December 15, 2025 14:26
Mizux pushed a commit that referenced this pull request Dec 15, 2025
@Mizux Mizux added this to the v9.16 milestone Feb 16, 2026
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