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: label self-hosted runners with run id to aid debugging (#33283)

Browse source 
Signed-off-by: Delan Azabani <dazabani@igalia.com>
This commit is contained in:
Delan Azabani 2024-09-03 15:55:55 +08:00 • committed by GitHub
parent 6c0394bc80
commit 4b96d8ef36
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -127,6 +127,7 @@ jobs:
gh api "$self_hosted_runner_scope/$(cat $runner_id)/labels" \
-f "labels[]=reserved-for:$unique_id" \
-f "labels[]=reserved-since:$reserved_since" \
-f 'labels[]=reserved-by:${{ github.repository }}/actions/runs/${{ github.run_id }}' \
--method POST --silent
echo "selected_runner_label=reserved-for:$unique_id" | tee -a $GITHUB_OUTPUT
echo 'is_self_hosted=true' | tee -a $GITHUB_OUTPUT