-
Notifications
You must be signed in to change notification settings - Fork 618
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
Induce verifier and message for euclid #1596
Conversation
…ailing task to same prover
…igning failing task to same prover" This reverts commit 791fcaf.
…m/scroll-tech/scroll into feat-prover-integrate-proving-sdk
Signed-off-by: noelwei <[email protected]>
Signed-off-by: noelwei <[email protected]>
Signed-off-by: noelwei <[email protected]>
Signed-off-by: noelwei <[email protected]>
…eat/prover_euclid Signed-off-by: noelwei <[email protected]>
Signed-off-by: noelwei <[email protected]>
Signed-off-by: noelwei <[email protected]>
Signed-off-by: noelwei <[email protected]>
Important Review skippedAuto reviews are disabled on base/target branches other than the default branch. Please check the settings in the CodeRabbit UI or the You can disable this status message by setting the Thank you for using CodeRabbit. We offer it for free to the OSS community and would appreciate your support in helping us grow. If you find it useful, would you consider giving us a shout-out on your favorite social media? 🪧 TipsChatThere are 3 ways to chat with CodeRabbit:
Note: Be mindful of the bot's finite context window. It's strongly recommended to break down tasks such as reading entire modules into smaller chunks. For a focused discussion, use review comments to chat about specific files and their changes, instead of using the PR comments. CodeRabbit Commands (Invoked using PR comments)
Other keywords and placeholders
CodeRabbit Configuration File (
|
Codecov ReportAttention: Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## omerfirmak/euclid-prover #1596 +/- ##
===========================================================
Coverage ? 51.64%
===========================================================
Files ? 158
Lines ? 12585
Branches ? 0
===========================================================
Hits ? 6500
Misses ? 5511
Partials ? 574
Flags with carried forward coverage won't be shown. Click here to find out more. ☔ View full report in Codecov by Sentry. |
Signed-off-by: noelwei <[email protected]>
b3b0fea
to
b3d62dd
Compare
folded in to #1597 |
No description provided.