Give Github some time to process release deletion

.github/workflows/build.yml

@@ -179,8 +179,8 @@ jobs:
           NAME="Latest Auto-Build (${{ steps.create_release.outputs.rel_date }})"
           TAGNAME="latest"
           hub release delete "$TAGNAME" || true
-          git tag -d "$TAGNAME" || true
           git push --delete origin "$TAGNAME" || true
+          sleep 30
           hub release create $(for a in latest_artifacts/*; do echo -a $a; done) -m "$NAME" -t "master" "$TAGNAME"
         env:
           GITHUB_TOKEN: ${{ github.token }}