diff options
| author | zowoq <59103226+zowoq@users.noreply.github.com> | 2020-08-09 19:46:05 +1000 |
|---|---|---|
| committer | zowoq <59103226+zowoq@users.noreply.github.com> | 2020-08-09 19:46:37 +1000 |
| commit | 86c9e2c08ec520f5aa8732ad67fd80c2ca0e39c6 (patch) | |
| tree | aea99b56e564340170c3b499f59eb5636c63f7b8 /.github | |
| parent | da65bc1c5bc4ae2c59e327ac5bd5fa78aa51cb38 (diff) | |
.github/workflows/editorconfig.yml: skip when diff is empty
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/editorconfig.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/editorconfig.yml b/.github/workflows/editorconfig.yml index a3b6c54bb6ab1..acdd566695c8b 100644 --- a/.github/workflows/editorconfig.yml +++ b/.github/workflows/editorconfig.yml @@ -12,6 +12,7 @@ jobs: fetch-depth: 0 - uses: technote-space/get-diff-action@v2.0.3 - name: Fetch editorconfig-checker + if: env.GIT_DIFF env: VERSION: "2.1.0" OS: "linux" @@ -22,6 +23,7 @@ jobs: tar xzf ec-$OS-$ARCH.tar.gz && \ mv ./bin/ec-$OS-$ARCH ./bin/editorconfig-checker - name: Checking EditorConfig + if: env.GIT_DIFF run: | ./bin/editorconfig-checker -disable-indentation \ ${{ env.GIT_DIFF }} |