fixup! Try to run Coverity Scan on demand

latchset · Mar 25, 2024 · 2cc0e85 · 2cc0e85
1 parent 3c597bb
commit 2cc0e85
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -6,9 +6,15 @@ on:
     branches: ["main"]
   pull_request:
     branches: ["main"]
+    types:
+      - opened
+      - synchronize
+      - reopened
+      - labeled
 
 jobs:
   build:
+    if: ${{ (github.event_name == 'labeled' && contains(github.event.label.name, 'covscan')) || github.event_name != 'labeled' }}
     name: CI with software token
     runs-on: ubuntu-22.04
     strategy:
@@ -82,6 +88,7 @@ jobs:
             tests/tmp.${{ matrix.token }}/testvars
             config.log
   build-macos:
+    if: ${{ github.event_name != 'labeled' }}
     name: CI with software token
     runs-on: ${{ matrix.os }}
     strategy:

diff --git a/.github/workflows/coverity-scan.yml b/.github/workflows/coverity-scan.yml
@@ -2,15 +2,16 @@
 name: Coverity Scan
 
 on:
-  pull_request_target:
+  workflow_run:
+    workflows: [Build]
     types:
-      - labeled
+      - completed
   schedule:
     - cron: '41 3 * * 0'
 
 jobs:
   coverity:
-    if: github.event.label.name == 'covscan'
+    if: ${{ (contains(github.event.*.labels.*.name, 'covscan') && github.event.workflow_run.conclusion == 'success') || github.event_name == 'schedule' }}
     name: Coverity Scan
     runs-on: ubuntu-22.04
     container: fedora:latest