Merge pull request 'Use run_number instead of run_id' (#2 ) from develop into main

Reviewed-on: #2
Use run_number instead of run_id
2026-05-11 23:08:58 +00:00 · 2026-05-12 01:08:53 +02:00
1 changed files with 2 additions and 2 deletions
@@ -21,5 +21,5 @@ jobs:
        with:
          files: |-
            build/*.pdf
-          name: Release ${{ gitea.run_id }}.${{ gitea.run_attempt }}
-          tag_name: Release_${{ gitea.run_id }}.${{ gitea.run_attempt }}
+          name: Release ${{ gitea.run_number }}.${{ gitea.run_attempt }}
+          tag_name: Release_${{ gitea.run_number }}.${{ gitea.run_attempt }}
Author	SHA1	Message	Date
jali	f304d584df	Merge pull request 'Use run_number instead of run_id' (#2 ) from develop into main Build LaTex Document / Build (push) Successful in 5s Details Reviewed-on: #2	2026-05-11 23:08:58 +00:00
jali	9514b916e0	Use run_number instead of run_id	2026-05-12 01:08:53 +02:00