ci: Add manual build trigger

indico · Mar 30, 2024 · 1343351 · 1343351
1 parent abe4804
commit 1343351
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -18,6 +18,12 @@ on:
       - reopened
       - synchronize
       - labeled
+  workflow_dispatch:
+    inputs:
+      add-version-suffix:
+        type: boolean
+        default: true
+        description: Append version suffix
 
 permissions:
   contents: read
@@ -29,3 +35,4 @@ jobs:
     with:
       directory: jacow
       artifact-retention-days: 7
+      add-version-suffix: ${{ github.event_name != 'workflow_dispatch' || inputs.add-version-suffix }}