Skip to content

Commit

Permalink
fixup! Try to run Coverity Scan on demand
Browse files Browse the repository at this point in the history
  • Loading branch information
simo5 committed Mar 25, 2024
1 parent 3c597bb commit 8dc2832
Show file tree
Hide file tree
Showing 2 changed files with 19 additions and 3 deletions.
7 changes: 4 additions & 3 deletions .github/workflows/coverity-scan.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,15 +2,16 @@
name: Coverity Scan

on:
pull_request_target:
workflow_run:
workflows: [Labeled]
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_name == 'schedule' }}
name: Coverity Scan
runs-on: ubuntu-22.04
container: fedora:latest
Expand Down
15 changes: 15 additions & 0 deletions .github/workflows/labeled.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
---
name: Labeled

on:
pull_request:
types:
- labeled

jobs:
labeled:
if: ${{ github.event.label.name == 'covscan' }}
name: Label checks
runs-on: ubuntu-latest
steps:
- run: env

0 comments on commit 8dc2832

Please sign in to comment.