Skip to content

Merge develop branch with updated polkadot#114

Merged
clangenb merged 3 commits intomasterfrom
develop-polkadot-v0.9.29
Nov 15, 2022
Merged

Merge develop branch with updated polkadot#114
clangenb merged 3 commits intomasterfrom
develop-polkadot-v0.9.29

Conversation

@OverOrion
Copy link
Contributor

This PR aims to get rid of the current develop branch, which was a temporary stand-in as the polkadot update (0.9.29) was blocked for a while in worker.

gaudenzkessler and others added 3 commits November 11, 2022 17:20
…ks (#93)

Propose every nth block as finality candidate instead of all the blocks


Co-authored-by: Gaudenz Kessler <gaudenz.kessler@scs.ch>
* Add validity check to finalization

* adjust test

* adjust benchmark test

Co-authored-by: Gaudenz Kessler <gaudenz.kessler@scs.ch>
Copy link
Contributor

@clangenb clangenb left a comment

Choose a reason for hiding this comment

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

Finally! Looks good! :)

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