Skip to content

Conversation

@refcell
Copy link
Contributor

@refcell refcell commented Jan 13, 2026

Summary

  • Restrict push trigger to main branch only in CI workflows
  • Add concurrency control to cancel in-progress runs on new pushes

Why

Previously, PRs triggered both pull_request and push events, causing duplicate CI runs. Now PRs only trigger pull_request, and push only runs on merges to main. The concurrency group also cancels stale runs when new commits are pushed, saving CI resources.

@refcell refcell requested a review from danyalprout January 13, 2026 21:16
@refcell refcell self-assigned this Jan 13, 2026
@refcell refcell added K-cleanup Kind: general cleanup A-ci Area: ci related labels Jan 13, 2026
@cb-heimdall
Copy link
Collaborator

cb-heimdall commented Jan 13, 2026

✅ Heimdall Review Status

Requirement Status More Info
Reviews 1/1
Denominator calculation
Show calculation
1 if user is bot 0
1 if user is external 0
2 if repo is sensitive 0
From .codeflow.yml 1
Additional review requirements
Show calculation
Max 0
0
From CODEOWNERS 0
Global minimum 0
Max 1
1
1 if commit is unverified 1
Sum 2

@danyalprout danyalprout enabled auto-merge January 13, 2026 21:22
@danyalprout danyalprout added this pull request to the merge queue Jan 13, 2026
Merged via the queue into main with commit d318b88 Jan 13, 2026
19 checks passed
@danyalprout danyalprout deleted the rf/de-duplicate-ci branch January 13, 2026 21:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-ci Area: ci related K-cleanup Kind: general cleanup

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants