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

fix clippy annotation workflow token and version

Browse source 
Signed-off-by: Jerens Lensun <jerensslensun@gmail.com>
This commit is contained in:
Jerens Lensun 2025-06-04 11:34:35 +08:00
parent 9991374952
commit ab4d64864e
2 changed files with 3 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -14,14 +14,12 @@ jobs:
pr-annotation: pr-annotation:
name: Create PR annotation name: Create PR annotation
runs-on: ubuntu-22.04 runs-on: ubuntu-22.04
outputs:
configuration: ${{ steps.configuration.outputs.result }}
steps: steps:
- name: Download Artifact Clippy Result and Head Sha - name: Download Artifact Clippy Result and Head Sha
uses: actions/download-artifact@v4 uses: actions/download-artifact@v4
with: with:
name: clippy-lint-result name: clippy-lint-result
github-token: ${{ secrets.GH_ACCESS_TOKEN }} github-token: ${{ secrets.GH_PAT }}
run-id: ${{ github.event.workflow_run.id }} run-id: ${{ github.event.workflow_run.id }}
- name: Retrieve Head Sha - name: Retrieve Head Sha
run: | run: |

4
.github/workflows/lint.yml vendored
View file

@ -56,9 +56,9 @@ jobs:
- name: Clippy - name: Clippy
run: | run: |
./mach clippy --message-format=json --use-crown --locked -- -- --deny warnings | ./etc/ci/clippy-annotation.sh > temp/clippy-output.json ./mach clippy --message-format=json --use-crown --locked -- -- --deny warnings | ./etc/ci/clippy-annotation.sh > temp/clippy-output.json
- name: Clippy linter result - name: Clippy Linter Result Upload
if: ${{ !cancelled() }} if: ${{ !cancelled() }}
uses: actions/upload-artifact@v4.6.1 uses: actions/upload-artifact@v4
with: with:
name: clippy-lint-result name: clippy-lint-result
path: | path: |