Skip to content

Commit

Permalink
one-line-cr-bot: forward github_token secret
Browse files Browse the repository at this point in the history
This secret is required so that automation can actually comment on the
current pull request.

Signed-off-by: Norbert Manthey <[email protected]>
  • Loading branch information
nmanthey authored and wipawel committed Oct 26, 2020
1 parent 507ccb5 commit 6793ce8
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .github/workflows/one-line-cr-bot.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit 6793ce8

Please sign in to comment.