From 6793ce805f39110e4a0381001843ddc18979699c Mon Sep 17 00:00:00 2001 From: Norbert Manthey Date: Mon, 26 Oct 2020 10:18:38 +0100 Subject: [PATCH] one-line-cr-bot: forward github_token secret This secret is required so that automation can actually comment on the current pull request. Signed-off-by: Norbert Manthey --- .github/workflows/one-line-cr-bot.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/one-line-cr-bot.yml b/.github/workflows/one-line-cr-bot.yml index a435eeb5..fceab883 100644 --- a/.github/workflows/one-line-cr-bot.yml +++ b/.github/workflows/one-line-cr-bot.yml @@ -78,5 +78,7 @@ jobs: POST_TO_GITHUB_PR: true REPORT_NEW_ONLY: true VERBOSE: 0 # >0 shows all currently present defects as well + # We need access to the github token to be able to comment on the PR + GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}" # Be explicit about the tools to be used run: ../one-line-scan/one-line-cr-bot.sh -E infer -E cppcheck