Skip to content

DEVOPS-1077: Fix concurrency group to use github.ref instead of github.head_ref - #73

Merged
RomFloreani merged 2 commits into
developfrom
DEVOPS-1077-change-group-concurrency
Jun 29, 2026
Merged

DEVOPS-1077: Fix concurrency group to use github.ref instead of github.head_ref#73
RomFloreani merged 2 commits into
developfrom
DEVOPS-1077-change-group-concurrency

Conversation

@RomFloreani

@RomFloreani RomFloreani commented Jun 29, 2026

Copy link
Copy Markdown
Contributor

DEVOPS-1077 - auto-cancel workflow upon new push to a branch
Change the workflow concurrency group key from github.head_ref || github.run_id to github.ref.

Part of DEVOPS-1077: change-group-concurrency

Authored using a powershell script with the help of CO-Pilot.

…thub.head_ref

Authored using a powershell script with the help of CO-Pilot.
…thub.head_ref

Authored using a powershell script with the help of CO-Pilot.
Copilot AI review requested due to automatic review settings June 29, 2026 13:39

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR updates GitHub Actions workflow concurrency keys to use github.ref so that runs are grouped/cancelled consistently by the triggering ref (branch/tag/PR merge ref) rather than falling back to run_id.

Changes:

  • Updated concurrency.group in the security scan workflow to ${{ github.workflow }}-${{ github.ref }}.
  • Updated concurrency.group in the python analysis workflow to ${{ github.workflow }}-${{ github.ref }}.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File Description
.github/workflows/security_scan.yml Switches concurrency group to use github.ref for consistent per-ref cancellation.
.github/workflows/python_analysis.yml Switches concurrency group to use github.ref for consistent per-ref cancellation.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@github-actions github-actions Bot changed the title Fix concurrency group to use github.ref instead of github.head_ref DEVOPS-1077: Fix concurrency group to use github.ref instead of github.head_ref Jun 29, 2026
@RomFloreani
RomFloreani merged commit 365135e into develop Jun 29, 2026
19 checks passed
@RomFloreani
RomFloreani deleted the DEVOPS-1077-change-group-concurrency branch June 29, 2026 15:49
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