diff options
| author | Jan Macku <jamacku@redhat.com> | 2022-09-11 17:19:38 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-03-27 21:48:04 +0100 |
| commit | 13cfabb17dfb5305cbc8ddc2a2ab94b527f3f30e (patch) | |
| tree | 970399c65ba18f298e3b55cc1000896ff52b3969 /.github | |
| parent | dfd2aea9e73c00634f81c6388587713ad737d4b7 (diff) | |
| download | klee-13cfabb17dfb5305cbc8ddc2a2ab94b527f3f30e.tar.gz | |
ci(lint): add shell linter - Differential ShellCheck
It performs differential ShellCheck scans and report results directly in pull request. documentation: https://github.com/redhat-plumbers-in-action/differential-shellcheck Signed-off-by: Jan Macku <jamacku@redhat.com>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/differential-shellcheck.yml | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/.github/workflows/differential-shellcheck.yml b/.github/workflows/differential-shellcheck.yml new file mode 100644 index 00000000..2dd92e9b --- /dev/null +++ b/.github/workflows/differential-shellcheck.yml @@ -0,0 +1,31 @@ +# Doc: https://github.com/redhat-plumbers-in-action/differential-shellcheck#usage +--- + +name: Differential ShellCheck +on: + push: + branches: [master] + pull_request: + branches: [master] + +permissions: + contents: read + +jobs: + lint: + runs-on: ubuntu-latest + + permissions: + security-events: write + + steps: + - name: Repository checkout + uses: actions/checkout@v3 + with: + fetch-depth: 0 + + - name: Differential ShellCheck + uses: redhat-plumbers-in-action/differential-shellcheck@v4 + with: + severity: warning + token: ${{ secrets.GITHUB_TOKEN }} |