luke/verilator
1
0
Fork 0
mirror of https://github.com/verilator/verilator.git synced 2026-10-02 16:13:34 +02:00
Code Issues Packages Projects Releases Wiki Activity

CI: Fix yaml format

Browse Source
This commit is contained in:
Geza Lore
2026-09-20 23:56:59 +01:00
parent 33d1e4e685
commit e5384c7b68
3 changed files with 9 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/coverage.yml
+3 -2
View File
@@ -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:
.github/workflows/regression.yml
+3 -2
View File
@@ -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:
.github/workflows/rtlmeter.yml
+3 -2
View File
@@ -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: