[auto] Update compiled version

This commit is contained in:
Federico Grandi
2020-05-01 09:42:54 +00:00
parent 7dbb54bce3
commit 132aa0f637
2 changed files with 7 additions and 1 deletions

View File

@@ -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

File diff suppressed because one or more lines are too long