From 6fe88247c5bc2b2e0a8a1b4bd4ecc3c5df104a80 Mon Sep 17 00:00:00 2001 From: IAlibay Date: Fri, 14 May 2021 08:06:58 +0100 Subject: [PATCH 1/3] change group naming --- .github/workflows/gh-ci.yaml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) 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: From 0c5ba851dd38b98e8bf502ff56f72b08cb3cc526 Mon Sep 17 00:00:00 2001 From: IAlibay Date: Fri, 14 May 2021 08:17:37 +0100 Subject: [PATCH 2/3] cycle CI --- .github/workflows/gh-ci.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/gh-ci.yaml b/.github/workflows/gh-ci.yaml index 39368103592..af209b9ca7b 100644 --- a/.github/workflows/gh-ci.yaml +++ b/.github/workflows/gh-ci.yaml @@ -12,7 +12,7 @@ on: concurrency: # Probably overly cautious group naming. # Commits to develop/master will cancel each other, but PRs will only cancel - # commits within the same PR + # commits within the same PR -a group: "${{ github.ref }}-${{ github.head_ref }}" cancel-in-progress: true From 7ae50a6f36c645520d97dee29c394ad38bf43b62 Mon Sep 17 00:00:00 2001 From: IAlibay Date: Fri, 14 May 2021 08:19:45 +0100 Subject: [PATCH 3/3] Cycle back --- .github/workflows/gh-ci.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/gh-ci.yaml b/.github/workflows/gh-ci.yaml index af209b9ca7b..39368103592 100644 --- a/.github/workflows/gh-ci.yaml +++ b/.github/workflows/gh-ci.yaml @@ -12,7 +12,7 @@ on: concurrency: # Probably overly cautious group naming. # Commits to develop/master will cancel each other, but PRs will only cancel - # commits within the same PR -a + # commits within the same PR group: "${{ github.ref }}-${{ github.head_ref }}" cancel-in-progress: true