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

Enable coverage for deepsource #7441

Merged
merged 5 commits into from
Oct 9, 2020
Merged

Enable coverage for deepsource #7441

merged 5 commits into from
Oct 9, 2020

Conversation

prestonvanloon
Copy link
Member

What type of PR is this?

Other

What does this PR do? Why is it needed?

Which issues(s) does this PR fix?

Other notes for review

@codecov
Copy link

codecov bot commented Oct 6, 2020

Codecov Report

Merging #7441 into master will decrease coverage by 0.38%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master    #7441      +/-   ##
==========================================
- Coverage   60.38%   60.00%   -0.39%     
==========================================
  Files         426      424       -2     
  Lines       30583    30277     -306     
==========================================
- Hits        18468    18167     -301     
- Misses       9089     9124      +35     
+ Partials     3026     2986      -40     

@prestonvanloon prestonvanloon marked this pull request as ready for review October 9, 2020 15:56
@prestonvanloon prestonvanloon requested a review from a team as a code owner October 9, 2020 15:56
Comment on lines +3633 to +3638
go_repository(
name = "com_github_wadey_gocovmerge",
importpath = "github.com/wadey/gocovmerge",
sum = "h1:W0LEBv82YCGEtcmPA3uNZBI33/qF//HAAs3MawDjRa0=",
version = "v0.0.0-20160331181800-b5bfa59ec0ad",
)
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is needed for CI tooling

@prestonvanloon prestonvanloon merged commit 98a2076 into master Oct 9, 2020
@delete-merged-branch delete-merged-branch bot deleted the deepsource-coverage branch October 9, 2020 16:16
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