diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 0c8df13a54f18..9bafd3cbee8a8 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -196,7 +196,7 @@ jobs: for config in ${list}; do echo ./tools/refresh.sh --silent $config if ! ./tools/refresh.sh --silent $config; then - echo ERROR: $config is configured incorrectly + echo Error: $config is configured incorrectly fail=1 fi done