diff --git a/.github/workflows/util/check.sh b/.github/workflows/util/check.sh index d8db8bd402c3..f3aa7d54cfc6 100755 --- a/.github/workflows/util/check.sh +++ b/.github/workflows/util/check.sh @@ -15,6 +15,9 @@ # limitations under the License. export BASE_COMMIT=$1 + +RESULT=0 + ./.github/workflows/util/check.py header branch if [ $? -ne 0 ]; then ./.github/workflows/util/check.py header branch --fix @@ -22,6 +25,20 @@ if [ $? -ne 0 ]; then echo "patch -p1 \<