CI: Fix max-parallel factor for RTLMeter runs
The intention was to run scheduled with max 2 parallel jobs, however, due to a bug they were run with 7 just like PR runs. This didn't seem to cause problems, so change it all to 7, except for the hierarchical, which runs on 6, for a total of a maximum 20 parallel RTLMeter run jobs per workflow run.
This commit is contained in:
parent
8fef7989d7
commit
e8489cd38b
|
|
@ -122,7 +122,7 @@ jobs:
|
|||
executeArgs: ""
|
||||
strategy:
|
||||
fail-fast: ${{ github.event_name == 'pull_request' }}
|
||||
max-parallel: ${{ github.event == 'schedule' && 2 || 7 }}
|
||||
max-parallel: 7
|
||||
matrix:
|
||||
cases: ${{ fromJSON(needs.start.outputs.cases)['gcc'] }}
|
||||
|
||||
|
|
@ -148,7 +148,7 @@ jobs:
|
|||
executeArgs: ""
|
||||
strategy:
|
||||
fail-fast: ${{ github.event_name == 'pull_request' }}
|
||||
max-parallel: ${{ github.event == 'schedule' && 2 || 7 }}
|
||||
max-parallel: 7
|
||||
matrix:
|
||||
cases: ${{ fromJSON(needs.start.outputs.cases)['clang'] }}
|
||||
|
||||
|
|
@ -174,7 +174,7 @@ jobs:
|
|||
executeArgs: ""
|
||||
strategy:
|
||||
fail-fast: ${{ github.event_name == 'pull_request' }}
|
||||
max-parallel: ${{ github.event == 'schedule' && 2 || 7 }}
|
||||
max-parallel: 6
|
||||
matrix:
|
||||
cases: ${{ fromJSON(needs.start.outputs.cases)['gcc-hier'] }}
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue