Skip to content

Make test_tree more robust #1216

Merged
Joao-Dionisio merged 1 commit into
masterfrom
fix-test-tree-1206
May 9, 2026
Merged

Make test_tree more robust #1216
Joao-Dionisio merged 1 commit into
masterfrom
fix-test-tree-1206

Make test_tree robust to SCIP version changes (#1206)

6f08022
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar