ci: Use "devel" as the pre-release name instead of the commit title

2024-05-04 21:14:23 +02:00
parent dd8d51ab71
commit fe0f2f708a
1 changed files with 2 additions and 0 deletions
@@ -234,6 +234,8 @@ jobs:

          gh release delete "${GITHUB_REF_NAME}" || true
          gh release create "${GITHUB_REF_NAME}" \
+            -t "${GITHUB_REF_NAME}" \
+            --verify-tag \
            -F artifacts/release-changes/CHANGES.md \
            ${isprerelease:+"--prerelease"} \
            release-bundle/*