[auto] Update compiled version

EndBug · May 16, 2020 · 46569f9 · 46569f9
1 parent 83761c7
commit 46569f9
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/lib/entrypoint.sh b/lib/entrypoint.sh
@@ -32,7 +32,10 @@ remove() {
 }
 
 tag() {
-    if [ -n "$INPUT_TAG" ]; then git tag $INPUT_TAG; fi
+    if [ -n "$INPUT_TAG" ]; then
+        git tag $INPUT_TAG
+        git push origin refs/tags/$INPUT_TAG
+    fi
 }
 
 # This is needed to make the check work for untracked files
@@ -76,7 +79,7 @@ if ! git diff --cached --quiet --exit-code; then
     tag
 
     echo "Pushing to repo..."
-    git push --set-upstream origin --tags "$INPUT_REF"
+    git push --set-upstream origin "$INPUT_REF"
 
     echo "::endgroup::"
     echo "Task completed."