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

ref: clean up ddp before final fix #3817

Merged
merged 5 commits into from
Oct 3, 2020
Merged

ref: clean up ddp before final fix #3817

merged 5 commits into from
Oct 3, 2020

Conversation

williamFalcon
Copy link
Contributor

ref: clean up ddp before final fix

@mergify mergify bot requested a review from a team October 3, 2020 13:17
@codecov
Copy link

codecov bot commented Oct 3, 2020

Codecov Report

Merging #3817 into master will increase coverage by 5%.
The diff coverage is 25%.

@@           Coverage Diff           @@
##           master   #3817    +/-   ##
=======================================
+ Coverage      84%     88%    +5%     
=======================================
  Files         111     111            
  Lines        8796    8783    -13     
=======================================
+ Hits         7367    7764   +397     
+ Misses       1429    1019   -410     

@williamFalcon williamFalcon merged commit ed1450a into master Oct 3, 2020
@williamFalcon williamFalcon deleted the ddp4 branch October 4, 2020 17:37
@Borda Borda added the refactor label Oct 4, 2020
@Borda Borda added this to the 0.10.0 milestone Oct 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants