Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

CI: Force github hosted runners and remove concurrency on select-runner job (#33308)

Browse source 
temporary fix for #33276

Signed-off-by: Samson <16504129+sagudev@users.noreply.github.com>
This commit is contained in:
Samson 2024-09-04 10:23:40 +02:00 • committed by GitHub
parent 27d87f104e
commit abe532dd2f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

9
.github/workflows/windows.yml vendored
View file

@ -61,9 +61,9 @@ jobs:
unique-id: ${{ steps.select.outputs.unique_id }}
selected-runner-label: ${{ steps.select.outputs.selected_runner_label }}
is-self-hosted: ${{ steps.select.outputs.is_self_hosted }}
concurrency:
group: servo-reserve-self-hosted-runner
cancel-in-progress: false
#concurrency:
# group: servo-reserve-self-hosted-runner
# cancel-in-progress: false
permissions: write-all
steps:
- name: Select and reserve best available runner
@ -83,6 +83,9 @@ jobs:
exit 0
}
echo 'forced github hosted runners!'
fall_back_to_github_hosted
# Generate a unique id that allows the workload job to find the runner
# we are reserving for it (via runner labels), and allows the timeout
# job to find the workload job run (via the job’s friendly name), even