From e5384c7b6871e098fcec9495f9854e01e0970fbe Mon Sep 17 00:00:00 2001 From: Geza Lore Date: Sun, 20 Sep 2026 23:56:59 +0100 Subject: [PATCH] CI: Fix yaml format --- .github/workflows/coverage.yml | 5 +++-- .github/workflows/regression.yml | 5 +++-- .github/workflows/rtlmeter.yml | 5 +++-- 3 files changed, 9 insertions(+), 6 deletions(-) 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: