New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Try to run Coverity Scan on demand #365

Closed

simo5 wants to merge 1 commit into latchset:main from simo5:covscan_ondemand

Member

simo5 commented Mar 25, 2024

Description

PR to change Coverity Scan to run on demand (by setting the covscan label) instead of running it after merge to main.
This way we can run the scan when the PR is still open and catch issues before merging.

Checklist

N/A

Reviewer's checklist:

Commits have short titles and sensible commit messages

simo5 added covscan and removed covscan labels

simo5 force-pushed the covscan_ondemand branch from 73a8f91 to aa95791 Compare

March 25, 2024 13:00

simo5 added covscan and removed covscan labels

simo5 force-pushed the covscan_ondemand branch from aa95791 to 46333f4 Compare

March 25, 2024 13:09

simo5 added covscan and removed covscan labels

simo5 force-pushed the covscan_ondemand branch from 46333f4 to 3c597bb Compare

March 25, 2024 13:48

simo5 added covscan and removed covscan labels

simo5 force-pushed the covscan_ondemand branch from 2cc0e85 to 8dc2832 Compare

March 25, 2024 16:29

simo5 added covscan and removed covscan labels

simo5 force-pushed the covscan_ondemand branch from 8dc2832 to 2b2fdb4 Compare

March 25, 2024 16:42

simo5 added covscan and removed covscan labels

simo5 force-pushed the covscan_ondemand branch from 2b2fdb4 to 9ea862e Compare

March 25, 2024 16:57

simo5 added covscan and removed covscan labels

simo5 force-pushed the covscan_ondemand branch from 9ea862e to 14c1e4f Compare

March 25, 2024 17:15

simo5 added the covscan label

simo5 force-pushed the covscan_ondemand branch 2 times, most recently from 655e512 to dfcf301 Compare

March 25, 2024 17:34

simo5 added covscan and removed covscan labels

simo5 force-pushed the covscan_ondemand branch from dfcf301 to 20fb491 Compare

March 25, 2024 17:39

simo5 added covscan and removed covscan labels

simo5 force-pushed the covscan_ondemand branch from 20fb491 to 6edb454 Compare

March 25, 2024 17:46

simo5 added covscan and removed covscan labels


          Try to run Coverity Scan on demand

1bec9fb

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>

simo5 force-pushed the covscan_ondemand branch from 6edb454 to 1bec9fb Compare

March 25, 2024 18:10

simo5 removed the covscan label

Member Author

simo5 commented Mar 25, 2024

Testing this PR from a fork is basically impossible as no write permission are given nor secrets to run coverity.
Closing and opening a new one from an in-repository branch

simo5 closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet