(CI) fix echo styling

tue-robotics · Apr 3, 2024 · 9f6fe21 · 9f6fe21
1 parent 16fc2cd
commit 9f6fe21
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/mirror-upstream.bash b/ci/mirror-upstream.bash
@@ -8,7 +8,7 @@ set -o errexit
 # Execute script only in a CI environment
 if [ "$CI" != "true" ]
 then
-    echo -e "\e[35;1m Error!\e[0m Trying to execute a CI script in a non-CI environment. Exiting script."
+    echo -e "\e[35;1mError!\e[0m Trying to execute a CI script in a non-CI environment. Exiting script."
     exit 1
 fi