[master] ac6e3cff1 coverity: Allow manual runs of the Github Action

Dridi Boukelmoune dridi.boukelmoune at gmail.com
Mon Jan 31 08:05:06 UTC 2022


commit ac6e3cff1e94c4bd7f1cdadc2ce32703f268908f
Author: Dridi Boukelmoune <dridi.boukelmoune at gmail.com>
Date:   Mon Jan 31 09:03:47 2022 +0100

    coverity: Allow manual runs of the Github Action

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index e2b1b1a24..7e3293d47 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -2,7 +2,8 @@ name: Coverity Scan
 
 on:
   schedule:
-    - cron: '0 10 * * MON'
+    - cron: '0 8 * * MON'
+  workflow_dispatch:
 
 jobs:
   coverity:


More information about the varnish-commit mailing list