Commit b2eade2
authored
ci: limit push trigger to master to avoid duplicate runs on PRs (#200)
Several workflows listen to both push and pull_request with overlapping
paths. When a PR head branch is pushed, GitHub fires both events, and
the existing concurrency keys cannot deduplicate them:
- build-check / build-envd-base-image group by github.ref, which
differs between push (refs/heads/<branch>) and pull_request
(refs/pull/N/merge);
- build-builder-image declares no concurrency block at all;
- hypervisor-integration explicitly includes ${{ github.event_name }}
in the concurrency key, which makes both runs coexist by design.
As a result, every check (Build CubeAPI, Build CubeMaster, ...) shows
up twice in the PR checks list, doubling CI cost for no benefit.
PR #195 and #196 are recent examples that triggered the duplicate
runs on Build Check.
Restrict the push trigger of the four affected workflows to the master
branch. PR validation now runs only via the pull_request event; direct
pushes to master remain covered.
Signed-off-by: staryxchen <[email protected]>1 parent a661176 commit b2eade2
4 files changed
Lines changed: 4 additions & 0 deletions
File tree
- .github/workflows
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| 5 | + | |
5 | 6 | | |
6 | 7 | | |
7 | 8 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| 5 | + | |
5 | 6 | | |
6 | 7 | | |
7 | 8 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| 5 | + | |
5 | 6 | | |
6 | 7 | | |
7 | 8 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| 5 | + | |
5 | 6 | | |
6 | 7 | | |
7 | 8 | | |
| |||
0 commit comments