From 99913749527aebc641c4b0356cd986334aa9107b Mon Sep 17 00:00:00 2001 From: Jerens Lensun Date: Wed, 4 Jun 2025 11:03:29 +0800 Subject: [PATCH] add workflow run id on lint annotation workflow Signed-off-by: Jerens Lensun --- .github/workflows/lint-annotation.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/lint-annotation.yml b/.github/workflows/lint-annotation.yml index 0e27970153b..39508b35abe 100644 --- a/.github/workflows/lint-annotation.yml +++ b/.github/workflows/lint-annotation.yml @@ -22,6 +22,7 @@ jobs: with: name: clippy-lint-result github-token: ${{ secrets.GH_ACCESS_TOKEN }} + run-id: ${{ github.event.workflow_run.id }} - name: Retrieve Head Sha run: | echo "HEAD_SHA=$(cat ./pr/head_sha)" >> $GITHUB_OUTPUT