ci: do not mark coverity issues as stale
Coverity issues need to be resolved and closed by owners, not by the bot. Other wise we will continue scanning them and reporting them over and over. Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
parent
256adeebd9
commit
21366fea19
2
.github/workflows/stale_issue.yml
vendored
2
.github/workflows/stale_issue.yml
vendored
|
@ -24,5 +24,5 @@ jobs:
|
|||
stale-issue-label: 'Stale'
|
||||
stale-pr-label: 'Stale'
|
||||
exempt-pr-labels: 'Blocked,In progress'
|
||||
exempt-issue-labels: 'In progress,Enhancement,Feature,Feature Request,RFC,Meta,Process'
|
||||
exempt-issue-labels: 'In progress,Enhancement,Feature,Feature Request,RFC,Meta,Process,Coverity'
|
||||
operations-per-run: 400
|
||||
|
|
Loading…
Reference in a new issue