Split push vs. pull_request lint tooling (#426)

This commit is contained in:
Caleb Maclennan
2020-06-08 14:01:59 +03:00
committed by GitHub
parent c62e618a1a
commit 97c79a541f
3 changed files with 27 additions and 10 deletions

16
.github/workflows/reviewdog.yml vendored Normal file
View File

@@ -0,0 +1,16 @@
name: Reviewdog
on: [pull_request]
jobs:
vint:
strategy:
fail-fast: false
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v2
- name: Lint Vimscript in PR changes
uses: reviewdog/action-vint@v1
with:
github_token: ${{ secrets.github_token }}
reporter: github-pr-review
level: info