From be6cabfe3915045b55c7a52d297ead49b750ce3b Mon Sep 17 00:00:00 2001
From: Michael Bien <mbien42@gmail.com>
Date: Wed, 18 Sep 2024 13:26:29 +0200
Subject: [PATCH] Add PR number to dev build artifact

will use github.run_id when run without PR context
---
 .github/workflows/main.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index ce23cf7c9f11..b4e657d947fb 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -175,7 +175,7 @@ jobs:
         if: ${{ matrix.java == '17' && contains(github.event.pull_request.labels.*.name, 'ci:dev-build') && success() }}
         uses: actions/upload-artifact@v4
         with:
-          name: dev-build
+          name: dev-build_${{github.event.pull_request.number || github.run_id}}
           path: nbbuild/NetBeans-*.zip
           compression-level: 0
           retention-days: 7
@@ -2650,5 +2650,5 @@ jobs:
         uses: geekyeggo/delete-artifact@v5
         if: ${{ contains(github.event.pull_request.labels.*.name, 'ci:dev-build') && cancelled() }}
         with:
-          name: dev-build
+          name: dev-build_${{github.event.pull_request.number || github.run_id}}
           useGlob: false