Adjust NUM_RUNNERS and change runner type

This commit is contained in:
Michael Telatynski 2026-03-23 13:52:01 +00:00 committed by GitHub
parent c139da06b2
commit 987c4aaacf
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -36,7 +36,7 @@ env:
# fetchdep.sh needs to know our PR number
PR_NUMBER: ${{ github.event.pull_request.number }}
# Use 6 runners in the default case, but 4 when running on a schedule where we run all 5 projects (20 runners total)
NUM_RUNNERS: ${{ github.event_name == 'schedule' && 4 || 10 }}
NUM_RUNNERS: ${{ github.event_name == 'schedule' && 4 || 6 }}
NX_DEFAULT_OUTPUT_STYLE: stream-without-prefixes
permissions: {} # No permissions required
@ -98,7 +98,7 @@ jobs:
name: "Run Tests [${{ matrix.project }}] ${{ matrix.runner }}/${{ needs.build.outputs.num-runners }}"
needs: build
if: inputs.skip != true
runs-on: dind-test
runs-on: dind-l
permissions:
actions: read
issues: read