Skip to content

github: only build on PR approval, skip on raw push/open.#1012

Open
Clement-Wang26 wants to merge 1 commit intojd-opensource:mainfrom
Clement-Wang26:fixpr
Open

github: only build on PR approval, skip on raw push/open.#1012
Clement-Wang26 wants to merge 1 commit intojd-opensource:mainfrom
Clement-Wang26:fixpr

Conversation

@Clement-Wang26
Copy link
Collaborator

Event Conflict check Sensitive file check Format check Build
workflow_dispatch ✅ Always
push to main ✅ Fail if hit ❌ Never
pull_request ✅ Silent skip ✅ Fail if hit ✅ Always ❌ Never
pull_request_review ✅ Silent skip ✅ Silent skip ✅ First approval
issue_comment /build ✅ Silent skip ✅ Silent skip ✅ Yes ✅ Yes

Legend:

  • Silent skip = exits with ✅, no build
  • Fail = exits with ❌, blocks merge"

@XuZhang99 XuZhang99 changed the title feat: only build on PR approval, skip on raw push/open. github: only build on PR approval, skip on raw push/open. Mar 6, 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