[auto] Update compiled version

EndBug · May 17, 2020 · d926d1c · d926d1c
1 parent 8b797ba
commit d926d1c
Showing 1 changed file with 5 additions and 2 deletions.
diff --git 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."