[auto] Update compiled version

2020-05-17 16:26:50 +00:00
parent 8b797ba126
commit d926d1c554
1 changed files with 5 additions and 2 deletions
--- a/lib/entrypoint.sh
+++ b/lib/entrypoint.sh
@@ -75,8 +75,11 @@ if ! git diff --cached --quiet --exit-code; then
    echo "Tagging commit..."
    tag

-    echo "Pushing to repo..."
-    git push --set-upstream origin "$INPUT_REF" --tags
+    echo "Pushing commits to repo..."
+    git push --set-upstream origin "$INPUT_REF"
+
+    echo "Pushing tags to repo..."
+    git push --set-upstream origin "$INPUT_REF" --force --tags

    echo "::endgroup::"
    echo "Task completed."