diff --git a/riotdocker-base/build.sh b/riotdocker-base/build.sh index 4f6d6e53..6646b45a 100755 --- a/riotdocker-base/build.sh +++ b/riotdocker-base/build.sh @@ -12,7 +12,9 @@ NORMAL="\e[0m" step() { COUNTER_SUBSTEP=0 COUNTER_STEP=$(("$COUNTER_STEP" + 1)) - echo "::group::" + if [ -n "${GITHUB_RUN_ID}" ]; then + echo "::group::" + fi printf "${BLUE}${BOLD}==>${NORMAL}${BOLD} Step %d:${NORMAL} %s\n" "$COUNTER_STEP" "$1" } @@ -24,7 +26,9 @@ endstep() { substep() { COUNTER_SUBSTEP=$(("$COUNTER_SUBSTEP" + 1)) - echo "::group::" + if [ -n "${GITHUB_RUN_ID}" ]; then + echo "::group::" + fi printf "${BLUE}${BOLD} -->${NORMAL}${BOLD} Step %d.%d:${NORMAL} %s\n" \ "$COUNTER_STEP" "$COUNTER_SUBSTEP" "$1" }