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 Deep Source Code Analysis #7439

Merged
merged 1 commit into from
Oct 5, 2020
Merged

Add Deep Source Code Analysis #7439

merged 1 commit into from
Oct 5, 2020

Conversation

rauljordan
Copy link
Contributor

This PR adds support for https://deepsource.io/, which will help us find significant problems in our code, especially during the code review phase

@rauljordan rauljordan requested a review from a team as a code owner October 5, 2020 20:01
@rauljordan rauljordan self-assigned this Oct 5, 2020
@rauljordan rauljordan added the CI Continuous integration related items label Oct 5, 2020
@codecov
Copy link

codecov bot commented Oct 5, 2020

Codecov Report

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

@@            Coverage Diff             @@
##           master    #7439      +/-   ##
==========================================
- Coverage   60.17%   59.95%   -0.23%     
==========================================
  Files         424      424              
  Lines       30444    30277     -167     
==========================================
- Hits        18321    18152     -169     
- Misses       9117     9140      +23     
+ Partials     3006     2985      -21     

Comment on lines +7 to +8
[analyzers.meta]
import_paths = ["github.com/prysmaticlabs/prysm"]
Copy link
Member

Choose a reason for hiding this comment

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

Is this the correct formatting? I'm not familiar with toml

@prestonvanloon prestonvanloon merged commit 6e8ff10 into master Oct 5, 2020
@delete-merged-branch delete-merged-branch bot deleted the add-deep-source branch October 5, 2020 21:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI Continuous integration related items
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants