Allow manual execution of GitHub Actions

jansorg · jansorg · commit beb6106af1ad · 2024-12-30T14:43:33.000+01:00
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -1,6 +1,7 @@
 name: "bashdb CI"
 on:
   push:
+  workflow_dispatch:
 
 jobs:
   linux:

-Original file line number
+Diff line change
@@ @@ -1,6 +1,7 @@ @@
 name: "bashdb CI"
 on:
   push:
 +  workflow_dispatch:
 jobs:
   linux: