Allow manual triggering of workflows.

yugr · Dec 30, 2024 · 2601f1e · 2601f1e
1 parent a7a9550
commit 2601f1e
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/.github/workflows/bsd.yml b/.github/workflows/bsd.yml
@@ -1,5 +1,6 @@
 name: BSD
 on:
+  workflow_dispatch:
   schedule:
     # Run on Mondays
     - cron: '0 5 * * MON'

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,5 +1,6 @@
 name: CI
 on:
+  workflow_dispatch:
   push:
     paths-ignore:
     - 'LICENSE.txt'

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
@@ -1,5 +1,6 @@
 name: Coverity
 on:
+  workflow_dispatch:
   schedule:
     # Run on Mondays
     - cron: '0 5 * * MON'