diff options
| author | Andrei Vagin <avagin@gmail.com> | 2021-08-14 21:00:05 +0300 |
|---|---|---|
| committer | Andrei Vagin <avagin@gmail.com> | 2021-09-03 20:31:00 +0300 |
| commit | cf2b67375a61cba26638a30be1d566d044d359de (patch) | |
| tree | f6af050350b557c1767425dbd2df968f010d6dfb /.github | |
| parent | 03cdbc4c025fc67c84ee393245a4ef8ba7dad22b (diff) | |
workflows/lint: show changes
Signed-off-by: Andrei Vagin <avagin@gmail.com>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/lint.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 220fb97ec..50b241e9f 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -20,6 +20,7 @@ jobs: if [ ! -z "$STATUS" ]; then echo "FAIL: some files are not correctly formatted."; echo "$STATUS" + git diff echo "FAIL: please run 'make indent'"; exit 1; fi |