From 7c94cefd4bf5edc5c37f479a79cd89fff3392a5f Mon Sep 17 00:00:00 2001 From: Jerens Lensun Date: Wed, 4 Jun 2025 13:24:41 +0800 Subject: [PATCH] improve naming of the github action lint Signed-off-by: Jerens Lensun --- .github/workflows/lint-annotation.yml | 4 ++-- .github/workflows/lint.yml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/lint-annotation.yml b/.github/workflows/lint-annotation.yml index 8b85840ee16..3b97540cc9b 100644 --- a/.github/workflows/lint-annotation.yml +++ b/.github/workflows/lint-annotation.yml @@ -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') diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index eb20e43855d..b9b73603e57 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -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