Update .github/workflows/publish-server.yml

coq · Dec 16, 2024 · a582f8b · a582f8b
1 parent 78cb85e
commit a582f8b
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/publish-server.yml b/.github/workflows/publish-server.yml
@@ -56,9 +56,7 @@ jobs:
         files: vscoq-language-server-*.tar.gz
         fail_on_unmatched_files: true
         prerelease: ${{ github.event.inputs.prerelease }}
-        draft: true
-        generate_release_notes: true
-        name: VSCoq ${{ github.event.inputs.tag }}
+        append_body: true
 
     - name: Publish release
       if: ${{ !github.event.inputs.prerelease }}