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

feat(workspace): kona-proof #818

Merged
merged 2 commits into from
Nov 15, 2024
Merged

feat(workspace): kona-proof #818

merged 2 commits into from
Nov 15, 2024

Conversation

clabby
Copy link
Collaborator

@clabby clabby commented Nov 14, 2024

Overview

Tears out non-FP specific elements of kona-client into the kona-proof crate, decoupling these constructs from kona-common. This crate will serve as an SDK for building out proof programs.

In a follow-up PR, the FP-specific items left in kona-client will be merged with kona-common, to create kona-fault-proof.

@clabby clabby requested a review from refcell as a code owner November 14, 2024 19:41
@clabby clabby added the K-feature Kind: feature label Nov 14, 2024
@clabby clabby self-assigned this Nov 14, 2024
@clabby
Copy link
Collaborator Author

clabby commented Nov 14, 2024

📚 $\text{Stack Overview}$

Pulls submitted in this stack:

This comment was automatically generated by st.

Copy link

codecov bot commented Nov 14, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 91.7%. Comparing base (1953014) to head (b706ae5).
Report is 1 commits behind head on main.

✅ All tests successful. No failed tests found.

Additional details and impacted files

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@clabby clabby marked this pull request as draft November 15, 2024 03:05
@clabby clabby marked this pull request as ready for review November 15, 2024 20:22
@clabby clabby changed the base branch from cl/decouple-po-common to main November 15, 2024 20:30
@clabby clabby enabled auto-merge November 15, 2024 20:48
@clabby clabby added this pull request to the merge queue Nov 15, 2024
Merged via the queue into main with commit 4a3b928 Nov 15, 2024
16 checks passed
This was referenced Nov 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
K-feature Kind: feature
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants