build: Mark release as draft when creating GitHub releases

The maintainer can then replace the plaintext body (derived from the
tag) with a markdown version and then publish.

As part of 6c4144e943 creating a draft
release was accidentally dropped.

Signed-off-by: Rob Bradford <rbradford@rivosinc.com>
This commit is contained in:
Rob Bradford 2024-04-27 15:18:48 +01:00 committed by Bo Chen
parent 030d84eb08
commit f4b0443489
1 changed files with 1 additions and 0 deletions

View File

@ -88,6 +88,7 @@ jobs:
if: github.event_name == 'create' && github.event.ref_type == 'tag'
uses: softprops/action-gh-release@v1
with:
draft: true
files: |
./${{ matrix.platform.name_ch }}
./${{ matrix.platform.name_ch_remote }}