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.

Sign up for GitHub

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

Jump to bottom

chore(proposer): Remove unused flags + error logging #160

Merged

ratankaliani merged 5 commits into main from ratan/log

Oct 11, 2024

Member

ratankaliani commented Oct 11, 2024 •

edited

Loading

Remove unnecessary flags.
Add error logging.
Clear proofs in WITNESSGEN state at the start of the loop.

ratankaliani added 5 commits

October 10, 2024 14:40


          logging

15f1134


          remove unnecessary flags

571474d


          proposer

78b1314

add

d8d1a80


          clean

9b66ade

ratankaliani merged commit 35221e1 into main

6 checks passed

ratankaliani deleted the ratan/log branch

October 11, 2024 03:12

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet