Ignore whitespace diff
parent
d88978b9d5
commit
9423400ddc
|
@ -15,6 +15,6 @@ jobs:
|
||||||
run: cd ${GITHUB_WORKSPACE}/ci && sh ./lint.sh && cd ${GITHUB_WORKSPACE}
|
run: cd ${GITHUB_WORKSPACE}/ci && sh ./lint.sh && cd ${GITHUB_WORKSPACE}
|
||||||
- name: Check for changes
|
- name: Check for changes
|
||||||
run: |
|
run: |
|
||||||
if ! git diff --exit-code; then
|
if ! git diff --ignore-space-at-eol --exit-code; then
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
Loading…
Reference in New Issue