From f4210facf33a26ba21da1a890dc2bd1a4c981481 Mon Sep 17 00:00:00 2001 From: MyungJoo Ham Date: Thu, 8 Feb 2024 17:17:00 +0900 Subject: [PATCH] github-action: indent style error --> warning Indent style error is set down to warning. Until we have ZERO indent style error in overall, let's keep them warning. Signed-off-by: MyungJoo Ham --- .github/workflows/static.check.scripts/indent.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/static.check.scripts/indent.sh b/.github/workflows/static.check.scripts/indent.sh index 673051b..a2a7404 100644 --- a/.github/workflows/static.check.scripts/indent.sh +++ b/.github/workflows/static.check.scripts/indent.sh @@ -55,6 +55,7 @@ for file in `cat $files`; do --honour-newlines \ --tab-size8 \ --indent-level2 \ + --leave-preprocessor-space \ $file ;; esac @@ -71,9 +72,8 @@ fi echo "::endgroup::" if [ $failed = 1 ]; then - echo "::error There is an indentation style error." + echo "::warning There is an indentation style error." echo "::group::The indentation style errors are..." cat ${tmpfile} echo "::endgroup::" - exit 1 fi -- 2.7.4