Skip to content
New issue

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

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

Already on GitHub? # to your account

common: use unofficial Coverity workflow #5859

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

janekmi
Copy link
Contributor

@janekmi janekmi commented Aug 7, 2023

@janekmi janekmi added the no changelog Add to skip the changelog check on your pull request label Aug 7, 2023
@codecov
Copy link

codecov bot commented Aug 7, 2023

Codecov Report

Merging #5859 (b488c4a) into master (ab62e8f) will not change coverage.
Report is 1 commits behind head on master.
The diff coverage is n/a.

❗ Current head b488c4a differs from pull request most recent head 858ebbc. Consider uploading reports for the commit 858ebbc to get more accurate results

@@           Coverage Diff           @@
##           master    #5859   +/-   ##
=======================================
  Coverage   70.99%   70.99%           
=======================================
  Files         131      131           
  Lines       19175    19175           
  Branches     3192     3193    +1     
=======================================
  Hits        13613    13613           
  Misses       5562     5562           

Signed-off-by: Jan Michalski <jan.michalski@intel.com>
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
no changelog Add to skip the changelog check on your pull request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant