Update the build pipeline

2026-05-12 01:06:53 +02:00
parent 349e3c5be8
commit bd5efd3b1d
1 changed files with 1 additions and 0 deletions
@@ -22,3 +22,4 @@ jobs:
          files: |-
            build/*.pdf
          name: Release ${{ gitea.run_id }}.${{ gitea.run_attempt }}
+          tag_name: Release_${{ gitea.run_id }}.${{ gitea.run_attempt }}