[auto] Update compiled version

This commit is contained in:
Federico Grandi
2020-05-01 09:47:36 +00:00
parent 6a4387c9c9
commit 6cb111a771

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."