From 3a83bafe4059a7cd5cb93697a6634776ef20722a Mon Sep 17 00:00:00 2001
From: "Roger A. Light" <roger@atchoo.org>
Date: Wed, 15 Jul 2020 11:26:23 +0100
Subject: [PATCH] Github actions: Add workflow_dispatch to allow a manual
 trigger.

---
 .github/workflows/covsync.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/covsync.yml b/.github/workflows/covsync.yml
index 9119f6ae..2aec2ca9 100644
--- 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"