Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
CI: Add GitHub Actions workflow for periodic Coverity Scan #1958
CI: Add GitHub Actions workflow for periodic Coverity Scan #1958
Changes from all commits
71b181e
b923ea2
acaa6f8
0af2c63
5ddd261
3b41f14
0539a77
21e5a40
6f91087
76350dc
1439c6c
8d5257e
a2ce365
e189c79
46173c6
c685d6f
6db5f6a
5743b0e
e9ec7ca
f506fe3
45fb4c8
c1a15f5
495045c
f95ddc7
2787145
eed1bf0
7a8009e
862c221
8b78ccd
2fe48ae
7632ec5
49371fb
befbd41
96d056e
555792e
f23252f
2c46242
fbad708
482f3cf
02dbd04
7dccbe1
8ef113a
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing