Skip to content

Make coverity scans conditional on changes #23

@GrumpyOldTroll

Description

@GrumpyOldTroll

Right now coverity scans are scheduled daily unconditional, so it's often re-scanning an unchanged repo:

- cron: '0 11 * * *' # Daily at 11:00 UTC

I think re-scanning is a good idea if the coverity version changes or the repo changes, but ideally not otherwise.

Once it's a tighter conditional, it would also be good to scan PRs before integrating them if possible, and maybe make the check more frequent. The changes to this repo are infrequent enough that it's probably better to leverage the 7/day max limit differently than a hard once per day.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions