Skip to content

Update to Tendermint 0.31.0-rc0#3804

Merged
cwgoes merged 3 commits intodevelopfrom
jack/tm-0.31
Mar 5, 2019
Merged

Update to Tendermint 0.31.0-rc0#3804
cwgoes merged 3 commits intodevelopfrom
jack/tm-0.31

Conversation

@jackzampolin
Copy link
Copy Markdown
Contributor

Fixes: #3781

@cwgoes
Copy link
Copy Markdown
Contributor

cwgoes commented Mar 4, 2019

Hmm, seems we need to update our server package.

@jackzampolin
Copy link
Copy Markdown
Contributor Author

@cwgoes fixed 🤦‍♂️

@codecov
Copy link
Copy Markdown

codecov bot commented Mar 4, 2019

Codecov Report

❗ No coverage uploaded for pull request base (develop@3e82a8b). Click here to learn what that means.
The diff coverage is 0%.

@@            Coverage Diff             @@
##             develop    #3804   +/-   ##
==========================================
  Coverage           ?   60.97%           
==========================================
  Files              ?      191           
  Lines              ?    14185           
  Branches           ?        0           
==========================================
  Hits               ?     8649           
  Misses             ?     4982           
  Partials           ?      554

Copy link
Copy Markdown
Contributor

@alexanderbez alexanderbez left a comment

Choose a reason for hiding this comment

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

Missing pending log entry

@cwgoes cwgoes dismissed alexanderbez’s stale review March 5, 2019 13:14

PENDING entry added

@cwgoes cwgoes merged commit 57fe79f into develop Mar 5, 2019
@cwgoes cwgoes deleted the jack/tm-0.31 branch March 5, 2019 13:14
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.

3 participants