Do not push into branch if the build is on a pull request

Jacek Gębal · Jacek Gębal · commit 10b589f3df40 · 2026-03-09T00:37:23.000+02:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -8,7 +8,7 @@ on:
   workflow_dispatch:
     inputs:
       pr_number:
-        description: Pull request number
+        description: Pull request number (optional)
         required: false
 
 concurrency: ${{github.ref}}
