Skip to content

chore: Remove unneeded public input folding#7094

Merged
ledwards2225 merged 3 commits into
masterfrom
lde/remove_pub_input_folding
Jun 19, 2024
Merged

chore: Remove unneeded public input folding#7094
ledwards2225 merged 3 commits into
masterfrom
lde/remove_pub_input_folding

pub inputs still needed in some places for now

55e28ec
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs