[F] Try to fix github actions

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

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