Skip to content

ci: exclude push events on main branch to prevent unnecessary checks#151

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

ci: exclude push events on main branch to prevent unnecessary checks#151
Rasic2 merged 1 commit into
mainfrom
dev/zhouh

Conversation

@Rasic2

@Rasic2 Rasic2 commented Sep 15, 2025

Copy link
Copy Markdown
Collaborator

No description provided.

@github-actions github-actions Bot added the ci CI pipelines, GitHub Actions, and build/test infrastructure changes label Sep 15, 2025
@Rasic2 Rasic2 merged commit 1ae66ee into main Sep 15, 2025
6 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