Github actions: Add workflow_dispatch to allow a manual trigger.

5 years ago · 3a83bafe40
parent 80bb31cf48
commit 3a83bafe40
1 changed files with 1 additions and 0 deletions
--- a/.github/workflows/covsync.yml
+++ b/.github/workflows/covsync.yml
@ -1,6 +1,7 @@
 name: "Synchronise Coverity Scan branches on a weekly basis"

 on:
+  workflow_dispatch:
  schedule:
    - cron: "7 3 * * 0"