Skip to content

Tests and fixes for a number of prune-flag bugs - #153

Merged
luketpeterson merged 6 commits into
masterfrom
bugfix/prune_flag_issues
Oct 4, 2026
Merged

luketpeterson merged 6 commits into
masterfrom
bugfix/prune_flag_issues

Fixing bug in remove_branches return value

c268e61
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lean model, proofs and checks
succeeded Oct 3, 2026 in 10s