Not ready to merge yet

lupyuen2 · Oct 15, 2024 · 8c34451 · 8c34451
1 parent a06a691
commit 8c34451
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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:1:1: error: $config is configured incorrectly
+                    echo Error: $config:1:1: error: $config is configured incorrectly. To fix it, run \"tools/refresh.sh $config\"
                     fail=1
                   fi
                 done