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.

Sign up for GitHub

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

Jump to bottom

Update to Tendermint 0.31.0-rc0 #3804

Merged
merged 3 commits into from
Mar 5, 2019
Merged

Update to Tendermint 0.31.0-rc0 #3804

merged 3 commits into from
Mar 5, 2019

Conversation

jackzampolin
Copy link
Member

Fixes: #3781

@jackzampolin jackzampolin added this to the v0.33.0 (Launch) milestone Mar 4, 2019
@cwgoes
Copy link
Contributor

cwgoes commented Mar 4, 2019

Hmm, seems we need to update our server package.

@jackzampolin
Copy link
Member Author

@cwgoes fixed 🤦‍♂️

@codecov
Copy link

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

alexanderbez
alexanderbez previously requested changes Mar 5, 2019
View reviewed changes
Copy link
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
Reviewers

@cwgoes cwgoes cwgoes approved these changes

@alexanderbez alexanderbez alexanderbez left review comments

@ebuchman ebuchman Awaiting requested review from ebuchman

@rigelrozanski rigelrozanski Awaiting requested review from rigelrozanski

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
v0.33.0 (Launch)
Development

Successfully merging this pull request may close these issues.
3 participants
@jackzampolin @cwgoes @alexanderbez