mirror of
https://github.com/zama-ai/concrete.git
synced 2026-02-09 03:55:04 -05:00
fix(ci): fix formatting script
seems like big diffs weren't catched. Now we use ifne which checks if the stdin isn't empty
This commit is contained in:
4
.github/workflows/scripts/format_cpp.sh
vendored
4
.github/workflows/scripts/format_cpp.sh
vendored
@@ -9,6 +9,6 @@ then
|
||||
fi
|
||||
|
||||
# show changes if any
|
||||
git diff
|
||||
git --no-pager diff
|
||||
# fail if there is a diff, success otherwise
|
||||
! ( git diff | grep -q ^ ) || exit 1
|
||||
git diff | ifne exit 1
|
||||
|
||||
Reference in New Issue
Block a user