diff --git a/.github/workflows/gh-ci.yaml b/.github/workflows/gh-ci.yaml index a475b6bc86f..39368103592 100644 --- a/.github/workflows/gh-ci.yaml +++ b/.github/workflows/gh-ci.yaml @@ -9,8 +9,11 @@ on: - develop - master -concurrency: - group: ${{ github.head_ref }} +concurrency: + # Probably overly cautious group naming. + # Commits to develop/master will cancel each other, but PRs will only cancel + # commits within the same PR + group: "${{ github.ref }}-${{ github.head_ref }}" cancel-in-progress: true defaults: