Skip to content

Fix flaky SCIP time limit test (fixes #577)#606

Merged
FabianHofmann merged 1 commit intomasterfrom
fix-scip-timeout-flakyness
Mar 10, 2026
Merged

Fix flaky SCIP time limit test (fixes #577)#606
FabianHofmann merged 1 commit intomasterfrom
fix-scip-timeout-flakyness

Commits

Commits on Mar 9, 2026