Add groups

This commit is contained in:
Federico Grandi
2020-05-01 11:42:13 +02:00
parent 7f1289bf4a
commit 7dbb54bce3

View File

@@ -1,6 +1,8 @@
#!/bin/bash #!/bin/bash
set -u set -u
echo "::group::Internal logs"
cd $INPUT_CWD cd $INPUT_CWD
echo "Running in $PWD." echo "Running in $PWD."
@@ -68,6 +70,10 @@ if ! git diff --cached --quiet --exit-code; then
echo "Pushing to repo..." echo "Pushing to repo..."
git push --set-upstream origin "${GITHUB_REF:11}" git push --set-upstream origin "${GITHUB_REF:11}"
echo "::endgroup::"
echo "Finished."
else else
echo "::endgroup::"
echo "Working tree clean. Nothing to commit." echo "Working tree clean. Nothing to commit."
fi fi