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

fix: write untrimmed reset inputs to Prover.toml #11149

Merged

TomAFrench merged 1 commit into tf/add-ci-to-check-prover-toml-consistency from mw/prover-toml-reset-fix

Jan 10, 2025

Contributor

MirandaWood commented Jan 10, 2025 •

edited

Loading

Hopefully this works!
Continues #11141


          fix: hack to write untrimmed reset inputs to file

4cc3365

MirandaWood requested a review from TomAFrench

January 10, 2025 12:59

TomAFrench merged commit 19456f1 into tf/add-ci-to-check-prover-toml-consistency

42 of 43 checks passed

TomAFrench deleted the mw/prover-toml-reset-fix branch

January 10, 2025 13:24

Member

TomAFrench commented Jan 10, 2025

Awesome, thank you for this!

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

Labels

None yet