From 7dbb54bce3c080ac06f541ea3e05560f15b07cae Mon Sep 17 00:00:00 2001 From: Federico Grandi Date: Fri, 1 May 2020 11:42:13 +0200 Subject: [PATCH] Add groups --- src/entrypoint.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/entrypoint.sh b/src/entrypoint.sh index 3c4e78b..de9a917 100755 --- a/src/entrypoint.sh +++ b/src/entrypoint.sh @@ -1,6 +1,8 @@ #!/bin/bash set -u +echo "::group::Internal logs" + cd $INPUT_CWD echo "Running in $PWD." @@ -68,6 +70,10 @@ if ! git diff --cached --quiet --exit-code; then echo "Pushing to repo..." git push --set-upstream origin "${GITHUB_REF:11}" + + echo "::endgroup::" + echo "Finished." else + echo "::endgroup::" echo "Working tree clean. Nothing to commit." fi