From bdfebab3b1588c7971debdb61936beeccc7afe03 Mon Sep 17 00:00:00 2001 From: Igor Sarkisov Date: Wed, 16 Aug 2023 10:40:19 -0700 Subject: [PATCH] Add github.event.action to GA workflow concurrency. (#1280) This context variable should make GitHub differentiate between workflows triggered via pull request push vs label event. b/296137226 --- .github/workflows/main.yaml | 2 +- .github/workflows/main_win.yaml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index e0cd9b58a3cd..a5f8671feb49 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -47,7 +47,7 @@ env: STARBOARD_TOOLCHAINS_DIR: /root/starboard-toolchains concurrency: - group: '${{ github.workflow }}-${{ github.event_name }}-${{ inputs.platform }} @ ${{ github.event.pull_request.number || github.sha }}' + group: '${{ github.workflow }}-${{ github.event_name }}-${{ github.event.action }}-${{ inputs.platform }} @ ${{ github.event.pull_request.number || github.sha }}' cancel-in-progress: true # A workflow run is made up of one or more jobs that can run sequentially or in parallel diff --git a/.github/workflows/main_win.yaml b/.github/workflows/main_win.yaml index ea1a301a2cb3..617fcdd161c3 100644 --- a/.github/workflows/main_win.yaml +++ b/.github/workflows/main_win.yaml @@ -38,7 +38,7 @@ env: STARBOARD_TOOLCHAINS_DIR: /root/starboard-toolchains concurrency: - group: '${{ github.workflow }}-${{ github.event_name }}-${{ inputs.platform }} @ ${{ github.event.pull_request.number || github.sha }}' + group: '${{ github.workflow }}-${{ github.event_name }}-${{ github.event.action }}-${{ inputs.platform }} @ ${{ github.event.pull_request.number || github.sha }}' cancel-in-progress: true # A workflow run is made up of one or more jobs that can run sequentially or in parallel