Skip to content
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.

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

[Coverity] Add CI to block high impact issues #1135

Open
ZzEeKkAa opened this issue Sep 22, 2023 · 0 comments
Open

[Coverity] Add CI to block high impact issues #1135

ZzEeKkAa opened this issue Sep 22, 2023 · 0 comments
Assignees
Labels
enhancement New feature or request infrastructure

Comments

@ZzEeKkAa
Copy link
Contributor

Since the project was approved and initial CI was merged we can fine tune it and add try to add PR blocker if it introduces high vulnerabilities.

@ZzEeKkAa ZzEeKkAa self-assigned this Sep 22, 2023
@diptorupd diptorupd added enhancement New feature or request infrastructure labels Dec 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request infrastructure
Projects
None yet
Development

No branches or pull requests

2 participants