From fe0f2f708a89aad727ee93556400f4b79ff0f1d3 Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Sat, 4 May 2024 21:14:23 +0200
Subject: [PATCH] ci: Use "devel" as the pre-release name instead of the commit
 title

---
 .github/workflows/ci.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 00c30078f..1a34ad908 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -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/*