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 permission and pat on clippy annotation workflow

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

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

@ -6,6 +6,10 @@ on:
types: types:
- completed - completed
permissions:
checks: write
contents: read
jobs: jobs:
pr-annotation: pr-annotation:
name: Create PR annotation name: Create PR annotation
@ -13,9 +17,11 @@ jobs:
outputs: outputs:
configuration: ${{ steps.configuration.outputs.result }} configuration: ${{ steps.configuration.outputs.result }}
steps: steps:
- uses: actions/download-artifact@v4 - name: Download Artifact Clippy Result and Head Sha
uses: actions/download-artifact@v4
with: with:
name: clippy-lint-result name: clippy-lint-result
github-token: ${{ secrets.GH_ACCESS_TOKEN }}
- 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