这是indexloc提供的服务,不要输入任何密码
Skip to content
This repository was archived by the owner on Jan 22, 2025. It is now read-only.

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Feb 14, 2020

This is an automated backport of pull request #8150 done by Mergify.io

Mergify commands and options
More conditions and actions can be found in the [documention](https://doc.mergify.io/).

You can also trigger Mergify actions by commenting on this pull request:
  • @Mergifyio refresh will re-evaluate the rules
  • @Mergifyio rebase will rebase this PR
  • @Mergifyio backports <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

  • look at your merge queues
  • generate the Mergify configuration with the simulator.

Finally, you can contact us on https://mergify.io/

* Add CrdsValue timeout checks on Pull Responses

* Allow older values to enter Crds as long as a ContactInfo exists

* Allow staked contact infos to be inserted into crds if they haven't expired

* Try and handle oveflows

* Fix test

* Some comments

* Fix compile

* fix test deadlock

* Add a test for processing timed out values received via pull response

(cherry picked from commit fa00803)
@mergify mergify bot added the automerge Merge this Pull Request automatically once CI passes label Feb 14, 2020
@solana-grimes solana-grimes merged commit 535ee28 into v0.22 Feb 14, 2020
@codecov
Copy link

codecov bot commented Feb 14, 2020

Codecov Report

Merging #8277 into v0.22 will increase coverage by 1.6%.
The diff coverage is 70.2%.

@@           Coverage Diff           @@
##           v0.22   #8277     +/-   ##
=======================================
+ Coverage   57.6%   59.3%   +1.6%     
=======================================
  Files        244     244             
  Lines      73216   71237   -1979     
=======================================
+ Hits       42217   42284     +67     
+ Misses     30999   28953   -2046

@mergify mergify bot deleted the mergify/bp/v0.22/pr-8150 branch February 14, 2020 18:22
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

automerge Merge this Pull Request automatically once CI passes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants