diff options
| author | Yuriy Andamasov <yuriy@vyos.io> | 2026-07-12 16:45:54 +0300 |
|---|---|---|
| committer | Yuriy Andamasov <yuriy@vyos.io> | 2026-07-12 16:45:54 +0300 |
| commit | d5028041cb783f5c9f3279f38828dbacbb38081f (patch) | |
| tree | 1b761a3aa5cf8a6e6e8708378def6121fb29add1 | |
| parent | 01a7a7b939af3eba31e776dc07e0e7bee3c47874 (diff) | |
| download | vyos-documentation-d5028041cb783f5c9f3279f38828dbacbb38081f.tar.gz vyos-documentation-d5028041cb783f5c9f3279f38828dbacbb38081f.zip | |
docs-infra: use PR number (not head ref) in apex-deploy concurrency group
Phase-0 CodeRabbit finding on the PR-trigger commit: github.head_ref is
not unique across forks, so two PRs from different forks with the same
branch name would share a concurrency group. Key on
github.event.pull_request.number instead.
🤖 Generated by [robots](https://vyos.io)
| -rw-r--r-- | .github/workflows/apex-deploy.yml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/.github/workflows/apex-deploy.yml b/.github/workflows/apex-deploy.yml index efa42fd7..6459ac7a 100644 --- a/.github/workflows/apex-deploy.yml +++ b/.github/workflows/apex-deploy.yml @@ -9,9 +9,10 @@ on: workflow_dispatch: {} concurrency: - # PR runs group per head ref so pushes to the same PR queue/cancel independently - # of the rolling deploy group. - group: apex-deploy-${{ github.event_name == 'pull_request' && github.head_ref || github.ref_name }} + # PR runs group per PR number (not head ref — same-named branches from + # different forks would otherwise share a group) so pushes to the same PR + # queue/cancel independently of the rolling deploy group. + group: apex-deploy-${{ github.event_name == 'pull_request' && github.event.pull_request.number || github.ref_name }} # false (not true): a mid-job cancel can leave the apex/preview worker pair # half-updated; queuing subsequent runs is safe. cancel-in-progress: false |