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

Add coverity #1919

Merged
merged 32 commits into from
Nov 9, 2024
Merged

Add coverity #1919

merged 32 commits into from
Nov 9, 2024

Conversation

vasil-pashov
Copy link
Collaborator

@vasil-pashov vasil-pashov commented Oct 15, 2024

Reference Issues/PRs

What does this implement or fix?

Add Coverity scan. The current implementation does not get PR comments and does not block the build.

Any other comments?

Checklist

Checklist for code changes...
  • Have you updated the relevant docstrings, documentation and copyright notice?
  • Is this contribution tested against all ArcticDB's features?
  • Do all exceptions introduced raise appropriate error messages?
  • Are API changes highlighted in the PR description?
  • Is the PR labelled as enhancement or bug so it appears in autogenerated release notes?

@vasil-pashov vasil-pashov force-pushed the coverity-pr-scan branch 3 times, most recently from fb14ca9 to 6da0b49 Compare October 15, 2024 13:10
@vasil-pashov vasil-pashov force-pushed the coverity-pr-scan branch 6 times, most recently from 1a7c70c to 674cf90 Compare October 16, 2024 07:57
@vasil-pashov vasil-pashov force-pushed the coverity-pr-scan branch 6 times, most recently from 41cade3 to 1b23d81 Compare October 18, 2024 15:45
Dummy file with errors

Change coverity options
@vasil-pashov vasil-pashov marked this pull request as ready for review November 5, 2024 10:41
@vasil-pashov vasil-pashov merged commit 97644bf into master Nov 9, 2024
127 of 128 checks passed
@vasil-pashov vasil-pashov deleted the coverity-pr-scan branch November 9, 2024 10:19
grusev pushed a commit that referenced this pull request Nov 25, 2024
#### Reference Issues/PRs
<!--Example: Fixes #1234. See also #3456.-->

#### What does this implement or fix?
Add Coverity scan. The current implementation does not get PR comments
and does not block the build.
#### Any other comments?

#### Checklist

<details>
  <summary>
   Checklist for code changes...
  </summary>
 
- [ ] Have you updated the relevant docstrings, documentation and
copyright notice?
- [ ] Is this contribution tested against [all ArcticDB's
features](../docs/mkdocs/docs/technical/contributing.md)?
- [ ] Do all exceptions introduced raise appropriate [error
messages](https://docs.arcticdb.io/error_messages/)?
 - [ ] Are API changes highlighted in the PR description?
- [ ] Is the PR labelled as enhancement or bug so it appears in
autogenerated release notes?
</details>

<!--
Thanks for contributing a Pull Request to ArcticDB! Please ensure you
have taken a look at:
- ArcticDB's Code of Conduct:
https://github.com/man-group/ArcticDB/blob/master/CODE_OF_CONDUCT.md
- ArcticDB's Contribution Licensing:
https://github.com/man-group/ArcticDB/blob/master/docs/mkdocs/docs/technical/contributing.md#contribution-licensing
-->

---------

Co-authored-by: Vasil Pashov <vasil.pashov@man.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants