CI: fix branch name and PR number

2025-06-14 23:07:54 +02:00
parent 9610d45ebf
commit 9634e58f0a
3 changed files with 6 additions and 8 deletions
@@ -17,6 +17,7 @@ concurrency:
 env:
  BUILD_REPOSITORY_NAME: ${{ github.repository }}
  BUILD_SOURCEBRANCHNAME: ${{ github.ref_name }}
+  BUILD_PR_NUMBER: ${{ github.event.pull_request.number }}
  BUILD_SOURCEVERSION: ${{ github.sha }}
  BUILD_ARTIFACTSTAGINGDIRECTORY: ${{ github.workspace }}/artifacts/