improve naming of the github action lint

Signed-off-by: Jerens Lensun <jerensslensun@gmail.com>
This commit is contained in:
Jerens Lensun 2025-06-04 13:24:41 +08:00
parent ab4d64864e
commit 7c94cefd4b
2 changed files with 3 additions and 3 deletions

View file

@ -25,9 +25,9 @@ jobs:
run: |
echo "HEAD_SHA=$(cat ./pr/head_sha)" >> $GITHUB_OUTPUT
id: head_sha
- name: Comment on PR with E2E results
- name: Rust linter Clippy annotation on PR
if: ${{ !cancelled() }}
uses: actions/github-script@v7.0.1
uses: actions/github-script@v7
with:
script: |
const fs = require('fs')

View file

@ -53,7 +53,7 @@ jobs:
mkdir -p ./pr
mkdir -p ./temp
echo ${{ github.event.pull_request.head.sha }} > ./pr/head_sha
- name: Clippy
- name: Run Clippy Lint
run: |
./mach clippy --message-format=json --use-crown --locked -- -- --deny warnings | ./etc/ci/clippy-annotation.sh > temp/clippy-output.json
- name: Clippy Linter Result Upload