Allow starting CI jobs manually

2026-06-05 14:50:16 +00:00 · 2022-11-18 20:47:12 +01:00
parent 060ae47bae
commit 428e973264
1 changed files with 7 additions and 0 deletions
@@ -6,6 +6,13 @@ concurrency:
    ${{ github.event.pull_request.number || github.sha }}
  cancel-in-progress: true
 on:
+  name: Manual Inputs
+  on:
+    workflow_dispatch:
+      inputs:
+        git-ref:
+          description: Git Ref (Optional)
+          required: false
  push:
    paths-ignore:
      - "news/**"