ci: ignore error if latest git tag doesn't exist (#128)

privacy-scaling-explorations · Jul 24, 2024 · 41408fc · 41408fc
1 parent 6f83d09
commit 41408fc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/bin/move-latest-tag.bash b/scripts/bin/move-latest-tag.bash
@@ -7,7 +7,7 @@ move_tag() {
   local commit_sha="$2"
   local tag="$package@latest"
 
-  git push -d origin "$tag"
+  git push -d origin "$tag" || true # ignore error if "latest" tag does not exist yet
   git tag "$tag" "$commit_sha"
   git push origin "$tag"
 }