Skip to content

Add user-defined strategy presets to the strategy options pane - #3902

Merged
wadoon merged 2 commits into
mainfrom
bubel/strategy-preset-save
Aug 13, 2026
Merged

Add user-defined strategy presets to the strategy options pane#3902
wadoon merged 2 commits into
mainfrom
bubel/strategy-preset-save

simplify PresetEntry

4f911be
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
succeeded Aug 13, 2026 in 19m 1s