Skip to content

Conversation

@williamFalcon
Copy link
Contributor

No description provided.

@mergify mergify bot requested a review from a team May 25, 2020 12:08
@Borda Borda added the feature Is an improvement or enhancement label May 25, 2020
@mergify mergify bot requested a review from a team May 25, 2020 12:19
@Borda Borda added the ready PRs ready to be merged label May 25, 2020
@Borda Borda added this to the 0.7.7 milestone May 25, 2020
@codecov
Copy link

codecov bot commented May 25, 2020

Codecov Report

Merging #1941 into master will decrease coverage by 0%.
The diff coverage is 0%.

@@          Coverage Diff           @@
##           master   #1941   +/-   ##
======================================
- Coverage      88%     88%   -0%     
======================================
  Files          74      74           
  Lines        4643    4646    +3     
======================================
  Hits         4068    4068           
- Misses        575     578    +3     

@williamFalcon williamFalcon merged commit f46a7ba into master May 25, 2020
@Borda Borda deleted the gen_ddp branch May 25, 2020 20:59
@Borda Borda modified the milestones: 0.7.7, 0.8.0 May 26, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

feature Is an improvement or enhancement ready PRs ready to be merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants