Skip to content

ci: enhance pre-commit update workflow with manual trigger and automa…#191

Merged
Rasic2 merged 1 commit into
mainfrom
dev/zhouh
Sep 21, 2025
Merged

ci: enhance pre-commit update workflow with manual trigger and automa…#191
Rasic2 merged 1 commit into
mainfrom
dev/zhouh

Conversation

@Rasic2
Copy link
Copy Markdown
Collaborator

@Rasic2 Rasic2 commented Sep 21, 2025

…tic pull request creation

@github-actions github-actions Bot added the ci CI pipelines, GitHub Actions, and build/test infrastructure changes label Sep 21, 2025
@Rasic2 Rasic2 merged commit 066bbb8 into main Sep 21, 2025
6 of 7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci CI pipelines, GitHub Actions, and build/test infrastructure changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant