Rename runner labels (#11228)

This commit is contained in:
Lianmin Zheng
2025-10-05 18:05:41 -07:00
committed by GitHub
parent 41763ba079
commit d645ae90a3
13 changed files with 48 additions and 277 deletions

View File

@@ -28,7 +28,7 @@ permissions:
jobs:
test-disaggregation:
if: github.event_name != 'pull_request' || (contains(github.event.pull_request.labels.*.name, 'run-ci') && contains(github.event.pull_request.labels.*.name, 'router-benchmark'))
runs-on: [h200]
runs-on: [8-gpu-h200-oracle]
timeout-minutes: 45
steps: