Skip to content

fix: Concurrency per branch/PR. Also do not ignore Chart updates#15

Merged
tijmenstor merged 1 commit intomainfrom
fix/ci-concurrency
May 16, 2025
Merged

fix: Concurrency per branch/PR. Also do not ignore Chart updates#15
tijmenstor merged 1 commit intomainfrom
fix/ci-concurrency

Conversation

@tijmenstor
Copy link
Copy Markdown
Member

No description provided.

@tijmenstor tijmenstor requested a review from Copilot May 16, 2025 10:50
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

A CI workflow update to scope concurrency per branch/PR and ensure chart directory changes trigger runs.

  • Removed paths-ignore: charts/** so chart updates no longer skip the workflow.
  • Changed the concurrency group to use github.head_ref for PR isolation.
Comments suppressed due to low confidence (1)

.github/workflows/ci-build.yaml:13

  • Consider using github.ref_name instead of github.head_ref so the concurrency group works consistently for both push and pull_request events (head_ref is empty on pushes).
group: ${{ github.workflow }}-${{ github.head_ref }}

@tijmenstor tijmenstor merged commit 270e3d9 into main May 16, 2025
5 checks passed
@tijmenstor tijmenstor deleted the fix/ci-concurrency branch May 16, 2025 10:51
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