chore: use larger runner group rather than a single larger runner (#36216)

This commit is contained in:
Paul Cioanca
2025-06-06 13:10:29 +03:00
committed by GitHub
parent d75cb8b45c
commit b7234ea26d
2 changed files with 4 additions and 2 deletions

View File

@@ -26,7 +26,8 @@ permissions:
jobs:
test:
# Uses larger hosted runner as it significantly decreases build times
runs-on: [larger-runner-4cpu]
runs-on:
group: Default Larger Runners
strategy:
matrix:
test_number: [1]

View File

@@ -16,7 +16,8 @@ permissions:
jobs:
typecheck:
# Uses larger hosted runner as it significantly decreases build times
runs-on: [larger-runner-4cpu]
runs-on:
group: Default Larger Runners
steps:
- name: Checkout