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.

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

IF: Catchup from main, includes bls12 submodule API change. #2374

Merged
merged 15 commits into from
Apr 3, 2024

Conversation

greg7mdp
Copy link
Contributor

@greg7mdp greg7mdp commented Apr 3, 2024

This is a clean catchup from main (no manual intervention) + a few additional changes to support the bls12 API change.

@heifner heifner changed the title [hotstuff_integration] Catchup from main, includes bls12 submodule API change. IF: Catchup from main, includes bls12 submodule API change. Apr 3, 2024
@greg7mdp greg7mdp merged commit 5cce3d6 into hotstuff_integration Apr 3, 2024
35 of 36 checks passed
@greg7mdp greg7mdp deleted the main_catchup_apr_04 branch April 3, 2024 19:12
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.

4 participants