Skip to content

fix(pumpkin-proof-process): Debug checks failing when using DeductionPropagator - #629

Open
ImkoMarijnissen wants to merge 1 commit into
mainfrom
fix/debug-checks-deductions
Open

fix(pumpkin-proof-process): Debug checks failing when using DeductionPropagator#629
ImkoMarijnissen wants to merge 1 commit into
mainfrom
fix/debug-checks-deductions

fix: debug checks failing when testing proof processor

9aa71c9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
review_requested
succeeded Oct 23, 2026 in 5s