draft

runtimeverification · Apr 29, 2024 · 62d8963 · 62d8963
1 parent 8faf648
commit 62d8963
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -18,7 +18,7 @@ jobs:
         run: |
           set -x
           VERSION=v$(cat package/version)
-          gh release create --draft ${VERSION} --target ${{ github.sha }}
+          gh release create ${VERSION} --target ${{ github.sha }}
 
 #   release:
 #     name: 'Publish Release'