Only run coverity scan if coverity token is available

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