Skip to content

Commit

Permalink
Try to run Coverity Scan on demand
Browse files Browse the repository at this point in the history
This way we can run the scan when the PR is still open and catch issues
before merging.

Signed-off-by: Simo Sorce <simo@redhat.com>
  • Loading branch information
simo5 committed Mar 25, 2024
1 parent f7d4da1 commit 46333f4
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions .github/workflows/coverity-scan.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,13 +2,15 @@
name: Coverity Scan

on:
push:
branches: ["main"]
pull_request:
types:
- labeled
schedule:
- cron: '41 3 * * 0'

jobs:
coverity:
if: github.event.label.name == 'covscan'
name: Coverity Scan
runs-on: ubuntu-22.04
container: fedora:latest
Expand Down

0 comments on commit 46333f4

Please sign in to comment.