temporarily disable deleting release tags, as it is not behaving as e…

…xpected
verus-lang · Nov 2, 2024 · e280e9c · e280e9c
1 parent 84ca821
commit e280e9c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -283,7 +283,7 @@ jobs:
           new_name: Rolling Release ${{ env.RELEASE_NAME }}
           new_body: |
             Rolling release from Continuous Integration
-          delete_tags_prefix: release/rolling/
+          delete_tags_prefix: null
           delete_assets: true
           new_draft_status: true