[F] Try to fix github actions

2023-02-16 19:30:00 -05:00
parent e5f471428d
commit b8b5f1b6dc
1 changed files with 1 additions and 0 deletions
@@ -46,6 +46,7 @@ jobs:
          git log -"5" --format="- %H %s" | sed '/^$/d' >> ReleaseNotes.md

      - name: Delete Old Prerelease
+        if: env.OLD_PRE_TAG != "NULL"
        uses: dev-drprasad/delete-tag-and-release@v0.2.0
        with:
          tag_name: ${{ env.OLD_PRE_TAG }}