diff options
author | James Mills <1290234+prologic@users.noreply.github.com> | 2020-01-21 09:10:40 +1000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-21 09:10:40 +1000 |
commit | 698a6fa34cc6640c96d5358d91011a071bc404bd (patch) | |
tree | ad0a24d25a44814da971ef6a80b5d7e4023e7001 /.github | |
parent | 07d5029392f5b0b3290f4c76b6659eba83becd87 (diff) |
Added reviewdog/shellcheck to CI via Github Actions on changed shell scripts in PRs (#7795)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/reviewdog.yml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/.github/workflows/reviewdog.yml b/.github/workflows/reviewdog.yml new file mode 100644 index 0000000000..729a183970 --- /dev/null +++ b/.github/workflows/reviewdog.yml @@ -0,0 +1,16 @@ +name: reviewdog +on: [pull_request] +jobs: + shellcheck: + name: runner / shellcheck + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v1 + - name: shellcheck + uses: reviewdog/action-shellcheck@v1 + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + reporter: github-pr-check + path: "." + pattern: "*.sh*" + exclude: "./.git/*" |