From 82622ffda1c1049b762b674aa702e4e12ad6d52b Mon Sep 17 00:00:00 2001
From: krcroft <krcroft@users.noreply.github.com>
Date: Thu, 2 Jan 2020 22:47:53 -0800
Subject: [PATCH] Reinstate Coverity scanning

---
 .github/workflows/{dormant => }/coverity.yml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)
 rename .github/workflows/{dormant => }/coverity.yml (95%)

diff --git a/.github/workflows/dormant/coverity.yml b/.github/workflows/coverity.yml
similarity index 95%
rename from .github/workflows/dormant/coverity.yml
rename to .github/workflows/coverity.yml
index 2047ec9c..342b7685 100644
--- a/.github/workflows/dormant/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -2,14 +2,15 @@ name: Coverity Scan
 env:
   COVERITY_EMAIL: ${{ secrets.CoverityEmail }}
   COVERITY_TOKEN: ${{ secrets.CoverityToken }}
+  # Latest package: https://scan.coverity.com/download
   PACKAGE_VERSION: "2019.03"
   TARBALL_SHA256: "0bec2d12e7fca3fe4b6df843d9584e2a58e273970a8549c100541f86dbc0da4e"
   TARBALL_GDRIVE_ID: ${{ secrets.GoogleDriveId }}
 
 on:
-  schedule:
-    # Every day at 415am
-    - cron:  '15 4 * * *'
+  push:
+    branches:
+      - master
 jobs:
   coverity_scan:
     name: Coverity static analyzer