diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index d784628e8..fe7790b70 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -35,7 +35,8 @@ concurrency: # NOTE: The last part of the group expression must be kept in sync with the # 'start' job condition below: it maps to 'shared' exactly those events that # satisfy that condition, plus the 'unlabeled' event of the gating label. - group: "${{ + group: |- + ${{ github.workflow }}-${{ (github.event_name == 'pull_request') @@ -48,7 +49,7 @@ concurrency: && github.event.action != 'unlabeled' && !contains(github.event.pull_request.labels.*.name, 'pr: dev-coverage')))) && github.run_id || 'shared' - }}" + }} cancel-in-progress: ${{ github.event_name != 'schedule' }} jobs: diff --git a/.github/workflows/regression.yml b/.github/workflows/regression.yml index 5c70d9789..30f4fda0b 100644 --- a/.github/workflows/regression.yml +++ b/.github/workflows/regression.yml @@ -38,7 +38,8 @@ concurrency: # NOTE: The last part of the group expression must be kept in sync with the # 'start' job condition below: it maps to 'shared' exactly those events that # satisfy that condition, plus the 'unlabeled' event of the gating label. - group: "${{ + group: |- + ${{ github.workflow }}-${{ (github.event_name == 'pull_request') @@ -51,7 +52,7 @@ concurrency: && github.event.action != 'unlabeled' && !contains(github.event.pull_request.labels.*.name, 'pr: regression')))) && github.run_id || 'shared' - }}" + }} cancel-in-progress: ${{ github.event_name == 'pull_request' || github.repository != 'verilator/verilator' }} jobs: diff --git a/.github/workflows/rtlmeter.yml b/.github/workflows/rtlmeter.yml index acfd34a16..eaa7b7dd7 100644 --- a/.github/workflows/rtlmeter.yml +++ b/.github/workflows/rtlmeter.yml @@ -37,7 +37,8 @@ concurrency: # NOTE: The last part of the group expression must be kept in sync with the # 'start' job condition below: it maps to 'shared' exactly those events that # satisfy that condition, plus the 'unlabeled' event of the gating label. - group: "${{ + group: |- + ${{ github.workflow }}-${{ (github.event_name == 'pull_request') @@ -50,7 +51,7 @@ concurrency: && github.event.action != 'unlabeled' && !contains(github.event.pull_request.labels.*.name, 'pr: rtlmeter')))) && github.run_id || 'shared' - }}" + }} cancel-in-progress: ${{ github.event_name != 'schedule' }} jobs: