Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-09 23:45:35 +01:00
Code Issues Projects Releases Packages Wiki Activity

add workflow run id on lint annotation workflow

Browse source 
Signed-off-by: Jerens Lensun <jerensslensun@gmail.com>
This commit is contained in:
Jerens Lensun 2025-06-04 11:03:29 +08:00
parent 6e100cadb8
commit 9991374952
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.github/workflows/lint-annotation.yml vendored
View file

@ -22,6 +22,7 @@ jobs:
with: with:
name: clippy-lint-result name: clippy-lint-result
github-token: ${{ secrets.GH_ACCESS_TOKEN }} github-token: ${{ secrets.GH_ACCESS_TOKEN }}
run-id: ${{ github.event.workflow_run.id }}
- name: Retrieve Head Sha - name: Retrieve Head Sha
run: | run: |
echo "HEAD_SHA=$(cat ./pr/head_sha)" >> $GITHUB_OUTPUT echo "HEAD_SHA=$(cat ./pr/head_sha)" >> $GITHUB_OUTPUT