Adding parameter to allow running a manual build for a Pull Request

Jacek Gębal · Jacek Gębal · commit 780d4b17b8c0 · 2026-03-09T00:06:41.000+02:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -6,6 +6,10 @@ on:
     branches: [ develop ]
 
   workflow_dispatch:
+    inputs:
+      pr_number:
+        description: Pull request number
+        required: false
 
 concurrency: ${{github.ref}}
 defaults:
