mir/criu
2
0
Fork 0
mirror of https://github.com/checkpoint-restore/criu synced 2025-08-22 09:58:09 +00:00
Code Issues Releases Wiki Activity

ci/lint: make push action have at least too commits depth

Browse Source 
We see that when lint is called for push action git has only one last
commit which makes make indent with git-clang-format fail to operate.

Fix it by increasing fetch depth to one more commit.

Fixes: #2066
Fixes: d6db3333a ("clang-format: rework make indent to check specific commits")
Signed-off-by: Pavel Tikhomirov <ptikhomirov@virtuozzo.com>
This commit is contained in:
Pavel Tikhomirov 2023-01-26 15:12:28 +03:00 committed by Andrei Vagin
parent cec43025ac
commit 3837d31b5b
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/lint.yml vendored
View File

@ -23,6 +23,7 @@ jobs:
- name: Run make indent - name: Run make indent
run: > run: >
if [ -z "${{github.base_ref}}" ]; then if [ -z "${{github.base_ref}}" ]; then
git fetch --deepen=1 &&
if ! make indent OPTS=--diff; then if ! make indent OPTS=--diff; then
exit 1 exit 1
fi fi