Minor log improvement

This commit is contained in:
Federico Grandi
2020-05-01 11:46:57 +02:00
parent 132aa0f637
commit 6a4387c9c9

View File

@@ -72,7 +72,7 @@ if ! git diff --cached --quiet --exit-code; then
git push --set-upstream origin "${GITHUB_REF:11}"
echo "::endgroup::"
echo "Finished."
echo "Task completed."
else
echo "::endgroup::"
echo "Working tree clean. Nothing to commit."