Skip to content

Enable parallel TryCloseMacro; fix progress bar for macros#3939

Open
unp1 wants to merge 2 commits into
mainfrom
bubel/fixMTGUIRegression
Open

Enable parallel TryCloseMacro; fix progress bar for macros#3939
unp1 wants to merge 2 commits into
mainfrom
bubel/fixMTGUIRegression

Changes from the StipuLa case study to improve GoalList performance

b9543d7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testProveRules, ubuntu-latest, 21)
succeeded Jul 23, 2026 in 2m 50s