diff options
| author | Delan Azabani <dazabani@igalia.com> | 2024-09-03 15:55:55 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-03 07:55:55 +0000 |
| commit | 4b96d8ef3648fd3bd47f3778e0ad06fdfea31b46 (patch) | |
| tree | 1d81aa1de7e98b0280c2931010f31e9c396366e8 /.github | |
| parent | 6c0394bc80963163f36dd273f8e6ed64b177dfa0 (diff) | |
| download | servo-4b96d8ef3648fd3bd47f3778e0ad06fdfea31b46.tar.gz servo-4b96d8ef3648fd3bd47f3778e0ad06fdfea31b46.zip | |
CI: label self-hosted runners with run id to aid debugging (#33283)
Signed-off-by: Delan Azabani <dazabani@igalia.com>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/windows.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml index a84ec43d503..8f5a3f438e0 100644 --- a/.github/workflows/windows.yml +++ b/.github/workflows/windows.yml @@ -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 |