Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-04 13:10:20 +01:00
Code Issues Projects Releases Packages Wiki Activity

CI: use new API for taking a runner (#34983)

Browse source 
Signed-off-by: Delan Azabani <dazabani@igalia.com>
This commit is contained in:
Delan Azabani 2025-01-14 18:04:21 +08:00 • committed by GitHub
parent dd06416ed5
commit c4c85affb5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/self-hosted-runner-select.yml vendored
View file

@ -79,7 +79,7 @@ jobs:
# Use the monitor API to reserve a runner. If we get an object with # Use the monitor API to reserve a runner. If we get an object with
# runner details, we succeeded. If we get null, we failed. # runner details, we succeeded. If we get null, we failed.
take_runner_url=$monitor_api_base_url/$self_hosted_image_name/$unique_id/${{ github.repository }}/${{ github.run_id }} take_runner_url=$monitor_api_base_url/profile/$self_hosted_image_name/take\?unique_id=$unique_id\&qualified_repo=${{ github.repository }}\&run_id=${{ github.run_id }}
result=$(mktemp) result=$(mktemp)
echo echo
echo POST "$take_runner_url" echo POST "$take_runner_url"