Only run coverity scan if coverity token is available

Change-Id: Id95e0124d943912439c6ec6f562c0eb40d434163
schwabe · Dec 29, 2023 · 020ce68 · 020ce68
1 parent 2670975
commit 020ce68
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/coverity-scan.yml b/.github/workflows/coverity-scan.yml
@@ -3,9 +3,11 @@ on:
   schedule:
     - cron: '0 20 * * *' # Daily at 20:00 UTC
   workflow_dispatch:
+  push:
 
 jobs:
   latest:
+    if: secrets.COVERITY_SCAN_TOKEN != ''
     runs-on: ubuntu-latest
     steps:
       - name: Check submission cache